Agda
2.6.1.2
Only display out-of-date packages.
6 Reverse deps
Accepted versions
Agda-executable
==2.3.0.1
agda-server
>=2.3.3
agda-snippets
==2.5.2
agda-unused
>=2.6.1 && <2.6.2
hakyll-agda
>=2.6.1
PandocAgda
==2.3.3