agda

Paket-Details

Name agda
Version 2.5.4-7
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 24.06.2018 08:18
Veröffentlicht am 25.06.2018 11:08
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket agda-2.5.4-7-x86_64.pkg.tar.xz
PGP-Signatur agda-2.5.4-7-x86_64.pkg.tar.xz .sig
Paket-Größe 9,30 MByte
Installations-Größe 70,12 MByte

Dateien