idris

Paket-Details

Name idris
Version 1.3.1-5
Beschreibung Functional Programming Language with Dependent Types
URL http://www.idris-lang.org/
Lizenzen custom:BSD3
Repositorium community
Architektur x86_64
Gruppen
Packer Felix Yan
Erstellt am 08.11.2018 11:42
Veröffentlicht am 08.11.2018 12:04
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket idris-1.3.1-5-x86_64.pkg.tar.xz
PGP-Signatur idris-1.3.1-5-x86_64.pkg.tar.xz .sig
Paket-Größe 8,52 MByte
Installations-Größe 50,50 MByte

Dateien