libBF
0.6.5.1
Only display out-of-date packages.
5 Reverse deps
Accepted versions
copilot-theorem
>=0.6.2 && <0.7
crackNum
-any
cryptol
>=0.6 && <0.7
sbv
-any
what4
==0.6.*