agda-stdlib

Paket-Details

Name agda-stdlib
Version 1.2-1
Beschreibung Agda standard libraries
URL https://github.com/agda/agda-stdlib
Lizenzen MIT
Repositorium community
Architektur x86_64
Packer Felix Yan
Erstellt am 21.12.2019 22:59
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket agda-stdlib-1.2-1-x86_64.pkg.tar.xz
PGP-Signatur agda-stdlib-1.2-1-x86_64.pkg.tar.xz.sig
Paket-Größe 60,00 MByte
Installations-Größe 78,90 MByte

Abhängigkeiten

von

optional für

Dateien