Agda 2.6.1.1

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