| 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.7.0 && <2.8.0 |
| agda2train | >=2.6.3 && <2.6.4 |
| blagda | >=0 |
| hakyll-agda | >=2.6.1 |
| PandocAgda | ==2.3.3 |
| proof-assistant-bot | >=2.6.4 |