Agda
2.6.2.2
Only display out-of-date packages.
8 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.1 && <2.6.2
blagda
-any
hakyll-agda
>=2.6.1
PandocAgda
==2.3.3