agda

Paket-Details

Name agda
Version 2.5.4.1-2
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 15.09.2018 08:58
Veröffentlicht am 16.09.2018 04:33
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket agda-2.5.4.1-2-x86_64.pkg.tar.xz
PGP-Signatur agda-2.5.4.1-2-x86_64.pkg.tar.xz .sig
Paket-Größe 9,31 MByte
Installations-Größe 70,12 MByte

Dateien