haskellPackages.dependent-sum 0.7.2.0 unmaintained
Dependent sum type
- Name
dependent-sum-0.7.2.0- Package set
- haskellPackages
- Homepage
- https://hackage.haskell.org/package/dependent-sum
- License
- publicDomain
- Source
- pkgs/development/haskell-modules/hackage-packages.nix:192244
- Derivation
/nix/store/qgw490n2nrqsm99r7jpa8y577774iddl-dependent-sum-0.7.2.0.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
Maintainers 0
This package has no maintainers.
Dependencies 8
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| haskellPackages.constraints-extras 0.4.0.2 | propagatedBuildInputs | 196 | unmaintained | |
| haskellPackages.some 1.0.6 | propagatedBuildInputs | 8,883 | unmaintained outdated | |
| ghc 9.10.3 | nativeBuildInputs | 27,267 | maintained | |
| 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 58 directly, 191 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| haskellPackages.dependent-map 0.4.0.1 | propagatedBuildInputs | 152 | unmaintained | |
| haskellPackages.prim-uniq 0.2 | propagatedBuildInputs | 62 | unmaintained | |
| haskellPackages.patch 0.0.8.4 | propagatedBuildInputs | 51 | unmaintained | |
| haskellPackages.reflex 0.9.4.0 | propagatedBuildInputs | 50 | unmaintained outdated | |
| haskellPackages.hls-plugin-api 2.13.0.0 | propagatedBuildInputs | 26 | unmaintained outdated | |
| haskellPackages.ghcide 2.13.0.0 | propagatedBuildInputs | 25 | unmaintained outdated | |
| haskellPackages.reflex-dom-core 0.8.1.4 | propagatedBuildInputs | 22 | unmaintained | |
| haskellPackages.beam-migrate 0.5.4.0 | propagatedBuildInputs | 15 | unmaintained | |
| haskellPackages.co-log 0.7.0.0 | propagatedBuildInputs | 14 | unmaintained | |
| haskellPackages.hnix-store-core_0_8_0_0 0.8.0.0 | propagatedBuildInputs | 12 | maintained | |
| haskellPackages.typelits-witnesses 0.4.1.0 | propagatedBuildInputs | 12 | unmaintained | |
| haskellPackages.lambdabot-core 5.3.1.2 | propagatedBuildInputs | 10 | unmaintained | |
| haskellPackages.vulkan-utils 0.5.10.6 | propagatedBuildInputs | 7 | unmaintained outdated | |
| haskellPackages.aeson-gadt-th 0.2.5.4 | propagatedBuildInputs | 4 | unmaintained | |
| haskellPackages.reflex-test-host 0.1.2.3 | propagatedBuildInputs | 4 | unmaintained | |
| haskellPackages.smtlib2 1.0 | propagatedBuildInputs | 4 | unmaintained broken | |
| haskellPackages.dependent-sum-aeson-orphans 0.3.1.2 | propagatedBuildInputs | 3 | unmaintained | |
| haskellPackages.reflex-vty 0.6.2.1 | propagatedBuildInputs | 3 | unmaintained outdated | |
| haskellPackages.hnix-store-tests 0.1.0.0 | propagatedBuildInputs | 2 | unmaintained | |
| haskellPackages.parsley-core 2.3.0.0 | propagatedBuildInputs | 2 | unmaintained broken | |
| haskellPackages.reflex-potatoes 0.1.0.0 | propagatedBuildInputs | 2 | unmaintained | |
| haskellPackages.smtlib2-quickcheck 1.0 | propagatedBuildInputs | 2 | unmaintained | |
| haskellPackages.dependent-enummap 0.2.0.0 | propagatedBuildInputs | 1 | unmaintained | |
| haskellPackages.dependent-hashmap 0.1.0.1 | propagatedBuildInputs | 1 | unmaintained broken | |
| haskellPackages.dependent-monoidal-map 0.1.1.5 | propagatedBuildInputs | 1 | unmaintained | |
| haskellPackages.functor-combinators 0.4.1.4 | buildInputs | 1 | unmaintained | |
| haskellPackages.reflex-basic-host 0.2.0.1 | propagatedBuildInputs | 1 | unmaintained broken | |
| haskellPackages.reflex-gloss 0.2 | propagatedBuildInputs | 1 | unmaintained | |
| haskellPackages.reflex-process 0.3.3.2 | buildInputs | 1 | unmaintained | |
| haskellPackages.smtlib2-pipe 1.0 | propagatedBuildInputs | 1 | unmaintained | |
| haskellPackages.tinytools 0.1.0.7 | propagatedBuildInputs | 1 | unmaintained broken | |
| haskellPackages.typed-fsm 0.3.0.1 | propagatedBuildInputs | 1 | unmaintained | |
| haskellPackages.aeson-dependent-sum 0.1.0.1 | propagatedBuildInputs | 0 | unmaintained broken | |
| haskellPackages.avr-shake 0.0.1.2 | propagatedBuildInputs | 0 | unmaintained broken | |
| haskellPackages.beam-migrate_0_5_5_0 0.5.5.0 | propagatedBuildInputs | 0 | unmaintained outdated | |
| haskellPackages.codeworld-api 0.8.1 | propagatedBuildInputs | 0 | unmaintained broken | |
| haskellPackages.duckling 0.2.0.0 | propagatedBuildInputs | 0 | unmaintained broken | |
| haskellPackages.ema-extra 0.10.0.0 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.fraxl 0.3.0.0 | propagatedBuildInputs | 0 | unmaintained broken | |
| haskellPackages.hnix-store-remote_0_7_0_0 0.7.0.0 | propagatedBuildInputs | 0 | maintained | |
| haskellPackages.horde-ad 0.3.0.0 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.lambdabot-telegram-plugins 0.2.1 | propagatedBuildInputs | 0 | unmaintained broken | |
| haskellPackages.monad-metrics-extensible 0.1.1.0 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.neuron 1.0.0.0 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.otp-authenticator 0.1.2.1 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.reflex-dynamic-containers 0.1.0.0 | propagatedBuildInputs | 0 | unmaintained broken | |
| haskellPackages.reflex-gadt-api 0.2.2.3 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.reflex-gadt-api_0_3_0_0 0.3.0.0 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.reflex-gi-gtk 0.2.0.1 | propagatedBuildInputs | 0 | unmaintained broken | |
| haskellPackages.reflex-gloss-scene 0.1.2 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.reflex-libtelnet 0.2.0.0 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.reflex-sdl2 0.3.0.3 | propagatedBuildInputs | 0 | unmaintained broken | |
| haskellPackages.roboservant 0.1.0.4 | propagatedBuildInputs | 0 | unmaintained broken | |
| haskellPackages.rock 0.3.1.2 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.smtlib2-debug 1.0 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.smtlib2-timing 1.0 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.tinytools-vty 0.1.0.7 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.vessel 0.3.0.2 | propagatedBuildInputs | 0 | unmaintained |