ocamlPackages.apron 0.9.15 single
Numerical abstract domain library
- Name
ocaml5.5.0-apron-0.9.15- Package set
- ocamlPackages
- Homepage
- https://github.com/antoinemine/apron
- License
- LGPL-2.1
- Source
- pkgs/development/ocaml-modules/apron/default.nix:65
- Derivation
/nix/store/swfzf3vi13nc46z8kkvy7km3x4c0wakr-ocaml5.5.0-apron-0.9.15.drv- Repology
- not reported as outdated · look up (as of 2026-10-08T00:43:59Z)
- Also available as
ocamlPackages_latest.apron
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| vbgl | Vincent Laporte | GitHub · Vincent.Laporte@gmail.com | listed on package |
Dependencies 12
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| mpfr 4.2.2 | propagatedBuildInputs | 11,968 | single | |
| ocamlPackages.camlidl 1.12 | propagatedBuildInputs | 17 | single outdated | |
| ocamlPackages.mlgmpidl 1.3.0 | propagatedBuildInputs | 13 | single | |
| flint 3.6.0 | buildInputs | 35 | maintained | |
| gmp 6.3.0 | buildInputs | 49,029 | single | |
| ppl 1.2 | buildInputs | 16 | unmaintained | |
| pplite 0.12 | buildInputs | 13 | unmaintained outdated | |
| ocaml 5.5.0 | nativeBuildInputs | 1,487 | single outdated | |
| ocamlPackages.findlib 1.9.8 | nativeBuildInputs | 1,473 | unmaintained | |
| perl 5.42.3 | nativeBuildInputs | 80,092 | team-only outdated | |
| bashNonInteractive 5.3p15 | other input | 102,175 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,063 | team-only |
Used by 5 directly, 12 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| frama-c 33.0 | buildInputs | 4 | maintained | |
| ocamlPackages.apronext 1.0.4 | propagatedBuildInputs | 3 | unmaintained | |
| jasmin-compiler 2026.09.0 | buildInputs | 0 | single | |
| mopsa 1.1 | propagatedBuildInputs | 0 | single outdated | |
| ocamlPackages.elina 1.1 | propagatedBuildInputs | 0 | single outdated |