Agda 2.6.4.2

11 Reverse deps Accepted versions
Agda-executable ==2.3.0.1
agda-language-server ==2.6.3
agda-server >=2.3.3
agda-snippets ==2.5.2
agda-unused >=2.6.2 && <2.6.3
agda2hs >=2.6.4 && <2.6.5
agda2train ==2.6.3.*
blagda -any
hakyll-agda >=2.6.1
PandocAgda ==2.3.3
proof-assistant-bot >=2.6.4