idris 1.3.4-472
| Architecture: | x86_64 |
|---|---|
| Repository: | Extra-Staging |
| Description: | Functional Programming Language with Dependent Types |
| Upstream URL: | https://www.idris-lang.org/ |
| License(s): | BSD |
| Maintainers: |
Felix Yan |
| Package Size: | 9.1 MB |
| Installed Size: | 47.2 MB |
| Last Packager: | Felix Yan |
| Build Date: | 2026-03-25 19:25 UTC |
| Signed By: | Felix Yan |
| Signature Date: | 2026-03-25 19:33 UTC |
| Last Updated: | 2026-03-25 19:36 UTC (an hour ago) |
Dependencies (36)
- ghc-libs
- haskell-aeson (staging)
- haskell-annotated-wl-pprint
- haskell-ansi-terminal (staging)
- haskell-ansi-wl-pprint (staging)
- haskell-async (staging)
- haskell-base64-bytestring (staging)
- haskell-blaze-html (staging)
- haskell-blaze-markup (staging)
- haskell-cheapskate (staging)
- haskell-code-page
- haskell-fingertree (staging)
- haskell-fsnotify (staging)
- haskell-ieee754
- haskell-libffi
- haskell-megaparsec (staging)
- haskell-network (staging)
- haskell-optparse-applicative (staging)
- haskell-parser-combinators
- haskell-regex-tdfa (staging)
- haskell-safe (staging)
- haskell-split (staging)
- haskell-terminal-size
- haskell-uniplate (staging)
- haskell-unordered-containers (staging)
- haskell-utf8-string (staging)
- haskell-vector (staging)
- haskell-vector-binary-instances (staging)
- haskell-zip-archive (staging)
- ghc (make)
- haskell-tagged (make)
- haskell-tasty (staging) (make)
- haskell-tasty-golden (staging) (make)
- haskell-tasty-rerun (staging) (make)
- nodejs (make)
- uusi (staging) (make)