| 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 |