ppl 1.2 unmaintained
Parma Polyhedra Library
- Name
ppl-1.2- Package set
- top-level
- Homepage
- http://bugseng.com/products/ppl/
- License
- GPL-3.0-or-later
- Source
- pkgs/by-name/pp/ppl/package.nix:63
- Derivation
/nix/store/rq43qgynq8c3y4c0185kk25k9fr6lnzr-ppl-1.2.drv
Maintainers 0
This package has no maintainers.
Dependencies 5
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| gmp 6.3.0 | propagatedBuildInputs | 49,290 | single | |
| m4 1.4.21 | nativeBuildInputs | 78,425 | unmaintained | |
| perl 5.42.3 | nativeBuildInputs | 80,356 | team-only | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 5 directly, 16 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| ocamlPackages.apron 0.9.15 | buildInputs | 12 | single | |
| jasmin-compiler 2026.09.0 | buildInputs | 0 | single | |
| polymake 4.15 | buildInputs | 0 | team-only | |
| python313Packages.pplpy 0.8.10 | buildInputs | 0 | team-only | |
| python314Packages.pplpy 0.8.10 | buildInputs | 0 | team-only |