idrisPackages.idris 1.3.4 unmaintained
Functional Programming Language with Dependent Types
- Name
idris-1.3.4- Package set
- idrisPackages
- Homepage
- https://hackage.haskell.org/package/idris
- License
- BSD-3-Clause
- Source
- pkgs/development/haskell-modules/generic-builder.nix:1103
- Derivation
/nix/store/1znyk06v7raifjw67x7ihpbfrfazssc0-idris-1.3.4.drv- Repology
- not reported as outdated · look up (as of 2026-10-08T00:43:59Z)
Maintainers 0
This package has no maintainers.
Dependencies 7
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| makeWrapper 26.05pre-git | nativeBuildInputs | 76,592 | unmaintained setup hook | |
| bashNonInteractive 5.3p15 | other input | 102,175 | maintained outdated | |
| gcc 16.2.0 | other input | 102,154 | team-only | |
| gmp 6.3.0 | other input | 49,029 | single | |
| haskellPackages.idris 1.3.4 | other input | 2 | unmaintained | |
| lndir 1.0.6 | other input | 22,056 | unmaintained | |
| stdenvNoCC 26.05pre-git | other input | 93,690 | team-only |
Used by 1 directly, 1 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| idris 1.3.4 | other input | 0 | unmaintained |