idris 1.3.4-504
Package Actions
- Source Files / View Changes
- Bug Reports / Add New Bug
- Search Wiki / Manual Pages
- Security Issues
- Flagged out-of-date on 2025-08-04
- Download From Mirror
| Architecture: | x86_64 |
|---|---|
| Repository: | Extra |
| 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.3 MB |
| Last Packager: | Felix Yan |
| Build Date: | 2026-05-06 11:18 UTC |
| Signed By: | Felix Yan |
| Signature Date: | 2026-05-06 11:24 UTC |
| Last Updated: | 2026-05-06 13:04 UTC (5 minutes ago) |
Dependencies (36)
- ghc-libs
- haskell-aeson
- haskell-annotated-wl-pprint
- haskell-ansi-terminal
- haskell-ansi-wl-pprint
- haskell-async
- haskell-base64-bytestring
- haskell-blaze-html
- haskell-blaze-markup
- haskell-cheapskate
- haskell-code-page
- haskell-fingertree
- haskell-fsnotify
- 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)