pplite 0.12 unmaintained outdated
Convex polyhedra library for Abstract Interpretation
- Name
pplite-0.12- Package set
- top-level
- Homepage
- https://github.com/ezaffanella/PPLite
- License
- GPL-3.0-only
- Main program
pplite_lcdd- Source
- pkgs/by-name/pp/pplite/package.nix:35
- Derivation
/nix/store/ynqxzp9shrv8sfhpx2k1hs96bf5shk48-pplite-0.12.drv- Repology
- outdated, newest version is 0.14 · pplite (as of 2026-10-07T10:23:38Z)
Maintainers 0
This package has no maintainers.
Dependencies 4
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| flint 3.6.0 | buildInputs | 35 | maintained | |
| gmp 6.3.0 | buildInputs | 49,290 | single | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 2 directly, 13 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| ocamlPackages.apron 0.9.15 | buildInputs | 12 | single | |
| mopsa 1.1 | propagatedBuildInputs | 0 | single outdated |