Agda
2.6.2.2
Only display out-of-date packages.
9 Reverse deps
Accepted versions
Agda-executable
==2.3.0.1
agda-language-server
==2.6.2
agda-server
>=2.3.3
agda-snippets
==2.5.2
agda-unused
>=2.6.2 && <2.6.3
blagda
-any
hakyll-agda
>=2.6.1
PandocAgda
==2.3.3
proof-assistant-bot
-any