haskellPackages.idris 1.3.4 unmaintained
Functional Programming Language with Dependent Types
- Name
idris-1.3.4- Package set
- haskellPackages
- Homepage
- https://hackage.haskell.org/package/idris
- License
- BSD-3-Clause
- Source
- pkgs/development/haskell-modules/hackage-packages.nix:384542
- Derivation
/nix/store/fa0iykgnl4vr496ag1scjadi4qpa86ig-idris-1.3.4.drv- Repology
- not reported as outdated · look up (as of 2026-10-08T00:43:59Z)
- Also available as
idrisPackages.idris-no-deps
Maintainers 0
This package has no maintainers.
Dependencies 36
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| haskellPackages.aeson 2.2.4.1 | propagatedBuildInputs | 14,960 | unmaintained outdated | |
| haskellPackages.annotated-wl-pprint 0.7.0 | propagatedBuildInputs | 10 | unmaintained | |
| haskellPackages.ansi-terminal 1.1.5 | propagatedBuildInputs | 23,125 | unmaintained | |
| haskellPackages.ansi-wl-pprint 1.0.2 | propagatedBuildInputs | 19,366 | unmaintained outdated | |
| haskellPackages.async 2.2.6 | propagatedBuildInputs | 18,138 | unmaintained | |
| haskellPackages.base64-bytestring 1.2.1.0 | propagatedBuildInputs | 15,437 | unmaintained | |
| haskellPackages.blaze-html 0.9.2.0 | propagatedBuildInputs | 10,140 | unmaintained | |
| haskellPackages.blaze-markup 0.8.3.0 | propagatedBuildInputs | 10,191 | unmaintained | |
| haskellPackages.cheapskate 0.1.1.2 | propagatedBuildInputs | 26 | single | |
| haskellPackages.code-page 0.2.1 | propagatedBuildInputs | 19,893 | unmaintained | |
| haskellPackages.fingertree 0.1.6.3 | propagatedBuildInputs | 8,545 | unmaintained | |
| haskellPackages.fsnotify 0.4.4.0 | propagatedBuildInputs | 166 | unmaintained | |
| haskellPackages.ieee754 0.8.0 | propagatedBuildInputs | 428 | unmaintained | |
| haskellPackages.libffi 0.2.1 | propagatedBuildInputs | 15 | unmaintained | |
| haskellPackages.megaparsec 9.7.0 | propagatedBuildInputs | 1,373 | unmaintained outdated | |
| haskellPackages.network 3.2.8.0 | propagatedBuildInputs | 13,252 | unmaintained outdated | |
| haskellPackages.optparse-applicative 0.18.1.0 | propagatedBuildInputs | 21,837 | unmaintained | |
| haskellPackages.parser-combinators 1.3.1 | propagatedBuildInputs | 1,391 | unmaintained | |
| haskellPackages.regex-tdfa 1.3.2.5 | propagatedBuildInputs | 8,740 | unmaintained outdated | |
| haskellPackages.safe 0.3.21 | propagatedBuildInputs | 13,213 | unmaintained | |
| haskellPackages.split 0.2.5 | propagatedBuildInputs | 12,846 | unmaintained outdated | |
| haskellPackages.terminal-size 0.3.4 | propagatedBuildInputs | 11,112 | unmaintained | |
| haskellPackages.uniplate 1.6.13 | propagatedBuildInputs | 8,566 | unmaintained | |
| haskellPackages.unordered-containers 0.2.20.1 | propagatedBuildInputs | 18,732 | unmaintained | |
| haskellPackages.utf8-string 1.0.2 | propagatedBuildInputs | 13,658 | unmaintained | |
| haskellPackages.vector 0.13.2.0 | propagatedBuildInputs | 19,736 | unmaintained | |
| haskellPackages.vector-binary-instances 0.2.5.2 | propagatedBuildInputs | 410 | unmaintained | |
| haskellPackages.zip-archive 0.4.3.2 | propagatedBuildInputs | 8,245 | unmaintained outdated | |
| gmp 6.3.0 | buildInputs | 49,029 | single | |
| ghc 9.10.3 | nativeBuildInputs | 27,259 | maintained | |
| removeReferencesTo | nativeBuildInputs | 51,801 | unmaintained | |
| bashNonInteractive 5.3p15 | other input | 102,175 | maintained outdated | |
| coreutils 9.11 | other input | 102,165 | maintained outdated | |
| glibcLocales 2.44 | other input | 55,219 | unmaintained | |
| haskellPackages.jailbreak-cabal 1.4.1 | other input | 12,693 | single | |
| stdenv 26.05pre-git | other input | 90,063 | team-only |
Used by 1 directly, 2 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| idrisPackages.idris 1.3.4 | other input | 1 | unmaintained |