yices
0.0.0.12
Only display out-of-date packages.
4 Reverse deps
Accepted versions
afv
>=0.0.0.6
cao
>=0
fault-tree
>=0.0.0.7 && <0.0.1
improve
>=0.0.0.7 && <0.0.1