master · x86_64-linux · cf9005753f89 · generated 2026-10-08T00:45:57Z

haskellPackages.parameterized-utils 2.1.11.0 unmaintained

Classes and data structures for working with data-kind indexed types

Name
parameterized-utils-2.1.11.0
Package set
haskellPackages
Homepage
https://hackage.haskell.org/package/parameterized-utils
License
BSD-3-Clause
Source
pkgs/development/haskell-modules/hackage-packages.nix:522293
Derivation
/nix/store/2h1wv0z6c2zdgsg76zs3gr95ya5ccgx5-parameterized-utils-2.1.11.0.drv
Repology
legacy · haskell:parameterized-utils (as of 2026-10-08T00:43:59Z)

Maintainers 0

This package has no maintainers.

Dependencies 21

PackageAsMaintainersUsed by (transitive)Status
haskellPackages.base-orphans 0.9.4 propagatedBuildInputs
20,050 unmaintained
haskellPackages.constraints 0.14.4 propagatedBuildInputs
11,628 unmaintained
haskellPackages.hashable 1.5.1.0 propagatedBuildInputs
19,321 unmaintained
haskellPackages.hashtables 1.4.2 propagatedBuildInputs
682 unmaintained
haskellPackages.indexed-traversable 0.1.4 propagatedBuildInputs
16,671 unmaintained outdated
haskellPackages.lens 5.3.6 propagatedBuildInputs
11,369 unmaintained
haskellPackages.profunctors 5.6.3 propagatedBuildInputs
14,593 unmaintained
haskellPackages.th-abstraction 0.7.2.0 propagatedBuildInputs 17,318 single
haskellPackages.vector 0.13.2.0 propagatedBuildInputs
19,736 unmaintained
haskellPackages.hedgehog 1.5 buildInputs
11,011 unmaintained
haskellPackages.hedgehog-classes 0.2.5.4 buildInputs
48 unmaintained
haskellPackages.tasty 1.5.4 buildInputs 21,757 single
haskellPackages.tasty-ant-xml 1.1.9 buildInputs
74 unmaintained
haskellPackages.tasty-hedgehog 1.4.0.2 buildInputs
10,400 unmaintained
haskellPackages.tasty-hunit 0.10.2 buildInputs
21,544 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 19 directly, 33 transitively

PackageAsMaintainersUsed by (transitive)Status
haskellPackages.bv-sized 1.0.7 propagatedBuildInputs
27 unmaintained outdated
haskellPackages.what4 1.6.3 propagatedBuildInputs
23 unmaintained
haskellPackages.copilot-theorem 4.5.1 propagatedBuildInputs
13 unmaintained
haskellPackages.what4_1_7_3 1.7.3 propagatedBuildInputs
8 unmaintained outdated
haskellPackages.crucible 0.9 propagatedBuildInputs
7 unmaintained outdated
haskellPackages.tasty-checklist 1.0.8.0 propagatedBuildInputs
6 unmaintained outdated
haskellPackages.named-text 1.2.3.0 buildInputs
5 unmaintained outdated
haskellPackages.crucible-syntax 0.5.0.0 propagatedBuildInputs
4 unmaintained
haskellPackages.rme-what4 0.1.2 propagatedBuildInputs
4 unmaintained broken outdated
haskellPackages.crucible-debug 0.1.2.0 propagatedBuildInputs
3 unmaintained broken
haskellPackages.crucible-symio 0.2.0.0 propagatedBuildInputs
3 unmaintained
haskellPackages.crucible-llvm 0.9 propagatedBuildInputs
2 unmaintained broken outdated
haskellPackages.crux 0.9 propagatedBuildInputs
2 unmaintained outdated
haskellPackages.crux-llvm 0.12 propagatedBuildInputs
1 unmaintained outdated
haskellPackages.bv-sized-lens 0.1.0.0 propagatedBuildInputs
0 unmaintained broken
haskellPackages.copilot-theorem_4_7 4.7 propagatedBuildInputs
0 unmaintained outdated
haskellPackages.copilot-verifier 4.7 propagatedBuildInputs
0 unmaintained broken outdated
haskellPackages.cryptol 3.5.0 propagatedBuildInputs
0 unmaintained outdated
haskellPackages.libriscv 0.1.0.0 propagatedBuildInputs 0 single broken