idris
Paket-Details
| Name | idris |
|---|---|
| Version | 1.3.4-492 |
| Beschreibung | Functional Programming Language with Dependent Types |
| URL | https://www.idris-lang.org/ |
| Lizenzen | BSD |
| Repositorium | extra |
| Architektur | x86_64 |
| Packer | Felix Yan |
| Erstellt am | 08.04.2026 |
| Quelltext | Quelldateien, Änderungshistorie |
| Bugs | Issue-Tracker |
| Paket | idris-1.3.4-492-x86_64.pkg.tar.zst |
| PGP-Signatur | idris-1.3.4-492-x86_64.pkg.tar.zst.sig |
| Paket-Größe | 9.1 MiB |
| Installations-Größe | 47.3 MiB |
| Beliebtheit |
Abhängigkeiten
Benötigt
ghc-libshaskell-aesonhaskell-annotated-wl-pprinthaskell-ansi-terminalhaskell-ansi-wl-pprinthaskell-asynchaskell-base64-bytestringhaskell-blaze-htmlhaskell-blaze-markuphaskell-cheapskatehaskell-code-pagehaskell-fingertreehaskell-fsnotifyhaskell-ieee754haskell-libffihaskell-megaparsechaskell-networkhaskell-optparse-applicativehaskell-parser-combinatorshaskell-regex-tdfahaskell-safehaskell-splithaskell-terminal-sizehaskell-uniplatehaskell-unordered-containershaskell-utf8-stringhaskell-vectorhaskell-vector-binary-instanceshaskell-zip-archive