idris 1.3.4-463
| Architecture: | x86_64 |
|---|---|
| Repository: | Extra-Testing |
| 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: | 2025-10-22 03:49 UTC |
| Signed By: | Felix Yan |
| Signature Date: | 2025-10-22 03:57 UTC |
| Last Updated: | 2025-10-22 04:02 UTC |
Dependencies (36)
- ghc-libs (testing)
- haskell-aeson (testing)
- haskell-annotated-wl-pprint (testing)
- haskell-ansi-terminal (testing)
- haskell-ansi-wl-pprint (testing)
- haskell-async (testing)
- haskell-base64-bytestring (testing)
- haskell-blaze-html (testing)
- haskell-blaze-markup (testing)
- haskell-cheapskate (testing)
- haskell-code-page (testing)
- haskell-fingertree (testing)
- haskell-fsnotify (testing)
- haskell-ieee754 (testing)
- haskell-libffi (testing)
- haskell-megaparsec (testing)
- haskell-network (testing)
- haskell-optparse-applicative (testing)
- haskell-parser-combinators (testing)
- haskell-regex-tdfa (testing)
- haskell-safe (testing)
- haskell-split (testing)
- haskell-terminal-size (testing)
- haskell-uniplate (testing)
- haskell-unordered-containers (testing)
- haskell-utf8-string (testing)
- haskell-vector (testing)
- haskell-vector-binary-instances (testing)
- haskell-zip-archive (testing)
- ghc (testing) (make)
- haskell-tagged (testing) (make)
- haskell-tasty (testing) (make)
- haskell-tasty-golden (testing) (make)
- haskell-tasty-rerun (testing) (make)
- nodejs (make)
- uusi (testing) (make)