Agda: 5 reverse dependencies
No version specified, so showing reverse dependencies for latest version.| Depend on the latest version | Depend on other versions | Total |
|---|---|---|
| 4 | 1 | 8 |
| Package name | Version | Reverse dependencies |
|---|---|---|
| agda-language-server | 0.2.6.3.0 | 0 (view) |
| blagda | 0.1.0.1 | 0 (view) |
| hakyll-agda | 0.1.13 | 1 (view) |
| proof-assistant-bot | 0.2.2 | 0 (view) |