agda

Paket-Details

Name agda
Version 2.5.99.20181017-8
Beschreibung A dependently typed functional programming language and proof assistant
URL http://wiki.portal.chalmers.se/agda/
Lizenzen custom
Repositorium community
Architektur x86_64
Gruppen
Packer Felix Yan
Erstellt am 10.12.2018 17:37
Veröffentlicht am 11.12.2018 05:52
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket agda-2.5.99.20181017-8-x86_64.pkg.tar.xz
PGP-Signatur agda-2.5.99.20181017-8-x86_64.pkg.tar.xz .sig
Paket-Größe 10,19 MByte
Installations-Größe 75,38 MByte

Dateien