haskellPackages.ghc-typelits-knownnat 0.7.13 unmaintained
Derive KnownNat constraints from other KnownNat constraints
- Name
ghc-typelits-knownnat-0.7.13- Package set
- haskellPackages
- Homepage
- https://hackage.haskell.org/package/ghc-typelits-knownnat
- License
- BSD-2-Clause
- Source
- pkgs/development/haskell-modules/hackage-packages.nix:269043
- Derivation
/nix/store/lzp5f3rh48p8a2n0chfgyv32ankwqfm3-ghc-typelits-knownnat-0.7.13.drv- Repology
- legacy · haskell:ghc-typelits-knownnat (as of 2026-10-09T00:52:30Z)
Maintainers 0
This package has no maintainers.
Dependencies 11
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| ghc 9.10.3 | propagatedBuildInputs | 27,268 | maintained | |
| haskellPackages.ghc-tcplugins-extra 0.5 | propagatedBuildInputs | 186 | unmaintained | |
| haskellPackages.ghc-typelits-natnormalise 0.7.12 | propagatedBuildInputs | 108 | unmaintained | |
| haskellPackages.tasty 1.5.4 | buildInputs | 21,766 | single | |
| haskellPackages.tasty-hunit 0.10.2 | buildInputs | 21,553 | unmaintained | |
| haskellPackages.tasty-quickcheck 0.11.1 | buildInputs | 20,782 | unmaintained | |
| removeReferencesTo | nativeBuildInputs | 51,818 | unmaintained | |
| bashNonInteractive 5.3p15 | other input | 102,198 | maintained outdated | |
| coreutils 9.11 | other input | 102,188 | maintained outdated | |
| glibcLocales 2.44 | other input | 55,234 | unmaintained | |
| stdenv 26.05pre-git | other input | 90,086 | team-only |
Used by 46 directly, 99 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| haskellPackages.ghc-typelits-extra 0.4.8 | propagatedBuildInputs | 33 | unmaintained | |
| haskellPackages.clash-prelude 1.8.5 | propagatedBuildInputs | 24 | unmaintained | |
| haskellPackages.typerep-map 0.7.0.0 | buildInputs | 23 | single | |
| haskellPackages.clash-lib 1.8.5 | buildInputs | 11 | unmaintained | |
| haskellPackages.type-natural 1.3.0.2 | propagatedBuildInputs | 9 | unmaintained | |
| haskellPackages.finitary 2.2.0.1 | propagatedBuildInputs | 7 | unmaintained outdated | |
| haskellPackages.clash-ghc 1.8.5 | propagatedBuildInputs | 4 | unmaintained | |
| haskellPackages.dahdit 0.8.0 | propagatedBuildInputs | 4 | unmaintained broken | |
| haskellPackages.goal-core 0.20 | propagatedBuildInputs | 4 | unmaintained broken | |
| haskellPackages.goal-geometry 0.20 | propagatedBuildInputs | 3 | unmaintained | |
| haskellPackages.hasktorch 0.2.1.8 | propagatedBuildInputs | 3 | unmaintained outdated | |
| haskellPackages.goal-probability 0.20 | propagatedBuildInputs | 2 | unmaintained | |
| haskellPackages.hmatrix-vector-sized 0.1.3.0 | buildInputs | 2 | unmaintained | |
| haskellPackages.sized 1.1.0.2 | propagatedBuildInputs | 2 | unmaintained | |
| haskellPackages.ice40-prim 0.3.1.4 | propagatedBuildInputs | 1 | unmaintained broken | |
| haskellPackages.ox-arrays 0.2.0.1 | propagatedBuildInputs | 1 | unmaintained broken | |
| haskellPackages.retroclash-lib 0.1.2.3 | propagatedBuildInputs | 1 | unmaintained broken outdated | |
| haskellPackages.bins 0.1.2.0 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.checked-literals 0.1.0.0 | propagatedBuildInputs | 0 | unmaintained broken outdated | |
| haskellPackages.clash-finite 1.0.0.0 | propagatedBuildInputs | 0 | unmaintained broken | |
| haskellPackages.clash-ghc_1_10_0 1.10.0 | propagatedBuildInputs | 0 | unmaintained outdated | |
| haskellPackages.clash-lib-hedgehog 1.8.5 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.clash-lib-hedgehog_1_10_0 1.10.0 | propagatedBuildInputs | 0 | unmaintained outdated | |
| haskellPackages.clash-lib_1_10_0 1.10.0 | buildInputs | 0 | unmaintained outdated | |
| haskellPackages.clash-multisignal 0.2.0.0 | propagatedBuildInputs | 0 | unmaintained broken | |
| haskellPackages.clash-prelude-hedgehog 1.8.5 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.clash-prelude-hedgehog_1_10_0 1.10.0 | propagatedBuildInputs | 0 | unmaintained outdated | |
| haskellPackages.clash-prelude_1_10_0 1.10.0 | propagatedBuildInputs | 0 | unmaintained outdated | |
| haskellPackages.clash-shockwaves 1.0.0 | propagatedBuildInputs | 0 | unmaintained outdated | |
| haskellPackages.computational-algebra 0.5.1.0 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.dahdit-audio 0.8.0 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.emd 0.2.0.0 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.finitary-derive 3.0.0.1 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.ghc-typelits-extra_0_5_3 0.5.3 | propagatedBuildInputs | 0 | unmaintained outdated | |
| haskellPackages.goal-graphical 0.20 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.hamilton 0.1.0.3 | propagatedBuildInputs | 0 | unmaintained broken | |
| haskellPackages.hmatrix-backprop 0.1.3.0 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.horde-ad 0.3.0.0 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.linear-code 0.2.0 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.lion 0.4.0.1 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.modular 0.1.0.8 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.posable 1.0.0.1 | propagatedBuildInputs | 0 | unmaintained broken | |
| haskellPackages.retroclash-sim 0.1.2 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.sparse-tensor 0.2.1.5 | propagatedBuildInputs | 0 | unmaintained broken | |
| haskellPackages.typed-streams 0.1.0.1 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.typedflow 0.9 | propagatedBuildInputs | 0 | unmaintained |