haskellPackages.liquid-fixpoint_0_9_6_3_5 0.9.6.3.5 single outdated
Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
- Name
liquid-fixpoint-0.9.6.3.5- 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:437424
- Derivation
/nix/store/nf79abkrl2316dzq6i3c197hqn0sj6sz-liquid-fixpoint-0.9.6.3.5.drv- Repology
- outdated, newest version is 8.10.7 · haskell:liquid-fixpoint (as of 2026-10-09T00:52:30Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| ulysses4ever | Artem Pelenitsyn | GitHub · a@pelenitsyn.top · @artem.types:matrix.org | listed on package |
Dependencies 35
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| haskellPackages.aeson 2.2.4.1 | propagatedBuildInputs | 14,965 | unmaintained outdated | |
| haskellPackages.ansi-terminal 1.1.5 | propagatedBuildInputs | 23,134 | unmaintained | |
| haskellPackages.ascii-progress 0.3.3.0 | propagatedBuildInputs | 27 | unmaintained | |
| haskellPackages.async 2.2.6 | propagatedBuildInputs | 18,147 | unmaintained | |
| haskellPackages.attoparsec 0.14.4 | propagatedBuildInputs | 13,935 | unmaintained | |
| haskellPackages.boxes 0.1.5 | propagatedBuildInputs | 97 | unmaintained | |
| haskellPackages.cereal 0.5.8.3 | propagatedBuildInputs | 11,995 | unmaintained | |
| haskellPackages.cmdargs 0.10.22 | propagatedBuildInputs | 10,253 | unmaintained | |
| haskellPackages.fgl 5.8.3.0 | propagatedBuildInputs | 304 | unmaintained outdated | |
| haskellPackages.gitrev 1.3.1 | propagatedBuildInputs | 181 | unmaintained | |
| haskellPackages.hashable 1.5.1.0 | propagatedBuildInputs | 19,330 | unmaintained | |
| haskellPackages.intern 0.9.6 | propagatedBuildInputs | 58 | unmaintained | |
| haskellPackages.lens-family 2.1.3 | propagatedBuildInputs | 141 | unmaintained | |
| haskellPackages.megaparsec 9.7.0 | propagatedBuildInputs | 1,373 | unmaintained outdated | |
| haskellPackages.parser-combinators 1.3.1 | propagatedBuildInputs | 1,391 | unmaintained | |
| haskellPackages.rest-rewrite 0.4.5 | propagatedBuildInputs | 17 | single | |
| haskellPackages.smtlib-backends 0.4 | propagatedBuildInputs | 21 | single | |
| haskellPackages.smtlib-backends-process 0.3 | propagatedBuildInputs | 18 | single | |
| haskellPackages.store 0.7.20 | propagatedBuildInputs | 51 | unmaintained outdated | |
| haskellPackages.syb 0.7.2.4 | propagatedBuildInputs | 20,354 | unmaintained | |
| haskellPackages.unordered-containers 0.2.20.1 | propagatedBuildInputs | 18,741 | unmaintained | |
| haskellPackages.vector 0.13.2.0 | propagatedBuildInputs | 19,745 | unmaintained | |
| haskellPackages.optparse-applicative 0.18.1.0 | buildInputs | 21,846 | unmaintained | |
| haskellPackages.tagged 0.8.9 | buildInputs | 21,941 | unmaintained | |
| haskellPackages.tasty 1.5.4 | buildInputs | 21,766 | single | |
| haskellPackages.tasty-ant-xml 1.1.9 | buildInputs | 74 | unmaintained | |
| haskellPackages.tasty-hunit 0.10.2 | buildInputs | 21,553 | unmaintained | |
| haskellPackages.tasty-quickcheck 0.11.1 | buildInputs | 20,782 | unmaintained | |
| haskellPackages.tasty-rerun 1.1.20 | buildInputs | 72 | unmaintained | |
| ghc 9.10.3 | nativeBuildInputs | 27,268 | maintained | |
| 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 0 directly, 0 transitively
No package depends on this one.