hmk
0.9.7.4
Only display out-of-date packages.
1 Reverse dep
Accepted versions
dedukti
>=0.9.7