haskellPackages.crux 0.9 unmaintained outdated
Simple top-level library for Crucible Simulation
- Name
crux-0.9- Package set
- haskellPackages
- Homepage
- https://hackage.haskell.org/package/crux
- License
- BSD-3-Clause
- Source
- pkgs/development/haskell-modules/hackage-packages.nix:172954
- Derivation
/nix/store/hgkb4qvgj5lkpkc1jg08ahrwgyd0yy1s-crux-0.9.drv- Repology
- outdated, newest version is 0.10 · haskell:crux (as of 2026-10-08T00:43:59Z)
Maintainers 0
This package has no maintainers.
Dependencies 36
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| haskellPackages.Glob 0.10.2 | propagatedBuildInputs | 10,348 | unmaintained | |
| haskellPackages.aeson 2.2.4.1 | propagatedBuildInputs | 14,960 | unmaintained outdated | |
| haskellPackages.ansi-terminal 1.1.5 | propagatedBuildInputs | 23,125 | unmaintained | |
| haskellPackages.async 2.2.6 | propagatedBuildInputs | 18,138 | unmaintained | |
| haskellPackages.attoparsec 0.14.4 | propagatedBuildInputs | 13,926 | unmaintained | |
| haskellPackages.bv-sized 1.0.7 | propagatedBuildInputs | 27 | unmaintained outdated | |
| haskellPackages.config-schema 1.3.0.0 | propagatedBuildInputs | 6 | unmaintained | |
| haskellPackages.config-value 0.8.3 | propagatedBuildInputs | 31 | unmaintained | |
| haskellPackages.contravariant 1.5.6 | propagatedBuildInputs | 16,528 | unmaintained | |
| haskellPackages.crucible 0.9 | propagatedBuildInputs | 7 | unmaintained outdated | |
| haskellPackages.crucible-debug 0.1.2.0 | propagatedBuildInputs | 3 | unmaintained broken | |
| haskellPackages.crucible-syntax 0.5.0.0 | propagatedBuildInputs | 4 | unmaintained | |
| haskellPackages.file-embed 0.0.16.0 | propagatedBuildInputs | 9,481 | unmaintained | |
| haskellPackages.generic-lens 2.2.2.0 | propagatedBuildInputs | 376 | unmaintained | |
| haskellPackages.githash 0.1.7.0 | propagatedBuildInputs | 98 | unmaintained | |
| haskellPackages.lens 5.3.6 | propagatedBuildInputs | 11,369 | unmaintained | |
| haskellPackages.libBF 0.6.8 | propagatedBuildInputs | 45 | unmaintained outdated | |
| haskellPackages.lumberjack 1.0.3.0 | propagatedBuildInputs | 3 | unmaintained | |
| haskellPackages.parameterized-utils 2.1.11.0 | propagatedBuildInputs | 33 | unmaintained | |
| haskellPackages.prettyprinter 1.7.1 | propagatedBuildInputs | 22,283 | unmaintained outdated | |
| haskellPackages.raw-strings-qq 1.1 | propagatedBuildInputs | 9,517 | unmaintained | |
| haskellPackages.rme-what4 0.1.2 | propagatedBuildInputs | 4 | unmaintained broken outdated | |
| haskellPackages.semigroupoids 6.0.2 | propagatedBuildInputs | 16,360 | unmaintained | |
| haskellPackages.simple-get-opt_0_4 0.4 | propagatedBuildInputs | 3 | unmaintained | |
| haskellPackages.split 0.2.5 | propagatedBuildInputs | 12,846 | unmaintained outdated | |
| haskellPackages.terminal-size 0.3.4 | propagatedBuildInputs | 11,112 | unmaintained | |
| haskellPackages.vector 0.13.2.0 | propagatedBuildInputs | 19,736 | unmaintained | |
| haskellPackages.what4 1.6.3 | propagatedBuildInputs | 23 | unmaintained | |
| haskellPackages.xml 1.3.14 | propagatedBuildInputs | 19,383 | unmaintained | |
| haskellPackages.yaml 0.11.11.2 | propagatedBuildInputs | 9,298 | unmaintained | |
| 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 | |
| stdenv 26.05pre-git | other input | 90,063 | team-only |
Used by 2 directly, 2 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| haskellPackages.crux-llvm 0.12 | propagatedBuildInputs | 1 | unmaintained outdated | |
| haskellPackages.copilot-verifier 4.7 | propagatedBuildInputs | 0 | unmaintained broken outdated |