idris 1.3.4 unmaintained
- Name
idris-with-packages-1.3.4- Package set
- top-level
- Source
- pkgs/development/idris-modules/with-packages.nix:16
- Derivation
/nix/store/4r04bnm05ay3syhmhc9b35px8sf4xdsx-idris-1.3.4.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
Maintainers 0
This package has no maintainers.
Dependencies 7
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| makeWrapper 26.05pre-git | nativeBuildInputs | 76,854 | unmaintained setup hook | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| idrisPackages.base 1.3.4 | other input | 80 | unmaintained | |
| idrisPackages.idris 1.3.4 | other input | 1 | unmaintained | |
| idrisPackages.prelude 1.3.4 | other input | 81 | unmaintained | |
| lndir 1.0.6 | other input | 22,065 | unmaintained | |
| stdenvNoCC 26.05pre-git | other input | 93,950 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.