Agda 2.5.3

5 Reverse deps Accepted versions
Agda-executable ==2.3.0.1
agda-server >=2.3.3
agda-snippets ==2.5.2
hakyll-agda ==2.4.2.3
PandocAgda ==2.3.3