idris

Paket-Details

Name idris
Version 1.3.2-116
Beschreibung Functional Programming Language with Dependent Types
URL https://www.idris-lang.org/
Lizenzen BSD
Repositorium community
Architektur x86_64
Packer Felix Yan
Erstellt am 07.04.2020 04:05
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket idris-1.3.2-116-x86_64.pkg.tar.zst
PGP-Signatur idris-1.3.2-116-x86_64.pkg.tar.zst.sig
Paket-Größe 8,91 MByte
Installations-Größe 50,45 MByte

Dateien