Agda 2.6.1

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