what4
1.7
Only display out-of-date packages.
10 Reverse deps
Accepted versions
copilot-theorem
>=1.3 && <1.7
copilot-verifier
>=1.6.1 && <1.7
crucible
>=1.6.1
crucible-debug
>=0
crucible-llvm
>=1.7
crucible-symio
>=0
crucible-syntax
>=0
crux
>=0.4.1
crux-llvm
>=0
cryptol
>=1.6 && <1.8