Agda 2.6.2.2

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