agda-stdlib
Paket-Details
| Name | agda-stdlib |
|---|---|
| Version | 2.1-1 |
| Beschreibung | Agda standard libraries |
| URL | https://github.com/agda/agda-stdlib |
| Lizenzen | MIT |
| Repositorium | extra |
| Architektur | x86_64 |
| Packer | Felix Yan |
| Erstellt am | 01.09.2025 |
| Quelltext | Quelldateien, Änderungshistorie |
| Bugs | Issue-Tracker |
| Paket | agda-stdlib-2.1-1-x86_64.pkg.tar.zst |
| PGP-Signatur | agda-stdlib-2.1-1-x86_64.pkg.tar.zst.sig |
| Paket-Größe | 134.9 MiB |
| Installations-Größe | 173.4 MiB |
| Beliebtheit |