haskellPackages.hermit 1.0.1 unmaintained
Haskell Equational Reasoning Model-to-Implementation Tunnel
- Name
hermit-1.0.1- Package set
- haskellPackages
- Homepage
- https://hackage.haskell.org/package/hermit
- License
- BSD-3-Clause
- Main program
hermit- Source
- pkgs/development/haskell-modules/hackage-packages.nix:331962
- Derivation
/nix/store/qidfvdwjjawnc6v8z5g02zqabsqymax2-hermit-1.0.1.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
Maintainers 0
This package has no maintainers.
Dependencies 19
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| ghc 9.10.3 | propagatedBuildInputs | 27,267 | maintained | |
| haskellPackages.ansi-terminal 1.1.5 | propagatedBuildInputs | 23,133 | unmaintained | |
| haskellPackages.data-default-class 0.2.0.0 | propagatedBuildInputs | 12,742 | unmaintained | |
| haskellPackages.fail 4.9.0.0 | propagatedBuildInputs | 428 | unmaintained | |
| haskellPackages.kure 2.18.6 | propagatedBuildInputs | 6 | unmaintained broken | |
| haskellPackages.marked-pretty 1.1.2.1 | propagatedBuildInputs | 2 | unmaintained broken | |
| haskellPackages.semigroups 0.20.1 | propagatedBuildInputs | 1,851 | unmaintained | |
| haskellPackages.temporary 1.3 | propagatedBuildInputs | 21,685 | unmaintained | |
| haskellPackages.terminal-size 0.3.4 | propagatedBuildInputs | 11,120 | unmaintained | |
| haskellPackages.ghc-paths 0.1.0.12 | buildInputs | 19,973 | unmaintained | |
| haskellPackages.tasty 1.5.4 | buildInputs | 21,765 | single | |
| haskellPackages.tasty-golden 2.3.6 | buildInputs | 15,172 | unmaintained | |
| haskellPackages.alex 3.5.4.2 | nativeBuildInputs | 9,240 | unmaintained | |
| haskellPackages.happy 2.1.7 | nativeBuildInputs | 13,421 | unmaintained | |
| removeReferencesTo | nativeBuildInputs | 51,814 | unmaintained | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| coreutils 9.11 | other input | 102,431 | maintained outdated | |
| glibcLocales 2.44 | other input | 55,257 | unmaintained | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 1 directly, 1 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| haskellPackages.hermit-syb 0.1.0.0 | propagatedBuildInputs | 0 | unmaintained |