Agda
2.6.1
Only display out-of-date packages.
5 Reverse deps
Accepted versions
Agda-executable
==2.3.0.1
agda-server
>=2.3.3
agda-snippets
==2.5.2
hakyll-agda
>=2.6.1
PandocAgda
==2.3.3