idris 1.3.4-480
| 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-28 21:47 UTC |
| Signed By: | Felix Yan |
| Signature Date: | 2026-03-28 21:53 UTC |
| Last Updated: | 2026-03-28 21:55 UTC |
Dependencies (36)
- ghc-libs
- haskell-aeson (staging)
- haskell-annotated-wl-pprint
- haskell-ansi-terminal
- haskell-ansi-wl-pprint
- haskell-async
- haskell-base64-bytestring
- haskell-blaze-html
- haskell-blaze-markup
- haskell-cheapskate (staging)
- haskell-code-page
- haskell-fingertree
- haskell-fsnotify (staging)
- haskell-ieee754
- haskell-libffi
- haskell-megaparsec
- haskell-network
- haskell-optparse-applicative
- haskell-parser-combinators
- haskell-regex-tdfa
- haskell-safe
- haskell-split
- haskell-terminal-size
- haskell-uniplate
- haskell-unordered-containers
- haskell-utf8-string
- haskell-vector
- haskell-vector-binary-instances
- haskell-zip-archive
- ghc (make)
- haskell-tagged (make)
- haskell-tasty (make)
- haskell-tasty-golden (make)
- haskell-tasty-rerun (make)
- nodejs (make)
- uusi (make)