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

haskellPackages.liquid-fixpoint 0.9.6.3.2 single

Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

Name
liquid-fixpoint-0.9.6.3.2
Package set
haskellPackages
Homepage
https://hackage.haskell.org/package/liquid-fixpoint
License
BSD-3-Clause
Main program
fixpoint
Source
pkgs/development/haskell-modules/hackage-packages.nix:437305
Derivation
/nix/store/6hq9ghz5rrq1akyg29pakjlfrm4lg5n1-liquid-fixpoint-0.9.6.3.2.drv
Repology
legacy · haskell:liquid-fixpoint (as of 2026-10-08T00:43:59Z)

Maintainers 1

HandleNameContactVia
ulysses4ever Artem Pelenitsyn GitHub · a@pelenitsyn.top · @artem.types:matrix.org listed on package

Dependencies 28

PackageAsMaintainersUsed by (transitive)Status
haskellPackages.aeson 2.2.4.1 propagatedBuildInputs
14,960 unmaintained outdated
haskellPackages.ansi-terminal 1.1.5 propagatedBuildInputs
23,125 unmaintained
haskellPackages.ascii-progress 0.3.3.0 propagatedBuildInputs
27 unmaintained
haskellPackages.async 2.2.6 propagatedBuildInputs
18,138 unmaintained
haskellPackages.attoparsec 0.14.4 propagatedBuildInputs
13,926 unmaintained
haskellPackages.boxes 0.1.5 propagatedBuildInputs
97 unmaintained
haskellPackages.cereal 0.5.8.3 propagatedBuildInputs
11,990 unmaintained
haskellPackages.cmdargs 0.10.22 propagatedBuildInputs
10,249 unmaintained
haskellPackages.fgl 5.8.3.0 propagatedBuildInputs
299 unmaintained outdated
haskellPackages.hashable 1.5.1.0 propagatedBuildInputs
19,321 unmaintained
haskellPackages.intern 0.9.6 propagatedBuildInputs
58 unmaintained
haskellPackages.lens-family 2.1.3 propagatedBuildInputs
136 unmaintained
haskellPackages.megaparsec 9.7.0 propagatedBuildInputs
1,373 unmaintained outdated
haskellPackages.parallel 3.2.2.0 propagatedBuildInputs
13,329 unmaintained
haskellPackages.parser-combinators 1.3.1 propagatedBuildInputs
1,391 unmaintained
haskellPackages.rest-rewrite 0.4.5 propagatedBuildInputs
tbidne
 17 single
haskellPackages.smtlib-backends 0.4 propagatedBuildInputs
ulysses4ever
 21 single
haskellPackages.smtlib-backends-process 0.3 propagatedBuildInputs
ulysses4ever
 18 single
haskellPackages.store 0.7.20 propagatedBuildInputs
51 unmaintained outdated
haskellPackages.syb 0.7.2.4 propagatedBuildInputs
20,345 unmaintained
haskellPackages.unordered-containers 0.2.20.1 propagatedBuildInputs
18,732 unmaintained
haskellPackages.vector 0.13.2.0 propagatedBuildInputs
19,736 unmaintained
ghc 9.10.3 nativeBuildInputs
cdepillabout, guibou, maralorn, sternenseemann, wolfgangwalther
 27,259 maintained
removeReferencesTo nativeBuildInputs
51,801 unmaintained
bashNonInteractive 5.3p15 other input
andir, balsoft, infinisil, pyrox0
 102,175 maintained outdated
coreutils 9.11 other input
andir, balsoft, dasJ, mdaniels5757, pyrox0
 102,165 maintained outdated
glibcLocales 2.44 other input
55,219 unmaintained
stdenv 26.05pre-git other input
90,063 team-only

Used by 3 directly, 15 transitively

PackageAsMaintainersUsed by (transitive)Status
haskellPackages.liquidhaskell-boot 0.9.10.1.2 propagatedBuildInputs
ulysses4ever
 13 single
haskellPackages.liquidhaskell-boot_0_9_12_2_1 0.9.12.2.1 propagatedBuildInputs
ulysses4ever
 0 single outdated
haskellPackages.target 0.2.0.1 propagatedBuildInputs
0 unmaintained