nixsearch / pkg / ocamlPackages.apron / 0.9.13
ocamlPackages.apron 0.9.13
Numerical abstract domain library
Linux and macOS
last changed
outputs: bin, out, dev
Pin this version
$ devbox add ocamlPackages.apron@0.9.13
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit517501bcf14ae6ec47efd6a17dda0ca8e6d866f9
$ nix shell github:NixOS/nixpkgs/517501bcf14ae6ec47efd6a17dda0ca8e6d866f9#ocamlPackages.apron
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
ocamlPackages.apron |
517501bcf14a | out/nix/store/nj94q5bmsff3cyyr01whp1pp9b055g43-ocaml4.14.1-apron-0.9.13 bin/nix/store/5afwy6i4bm8jmi00398262s6xddhs1s2-ocaml4.14.1-apron-0.9.13-bin dev (not default)/nix/store/z2mqq28hj3nrynrsk9yjd0cg4x81pkf8-ocaml4.14.1-apron-0.9.13-dev |
||
aarch64-linuxLinux · arm64 |
ocamlPackages.apron |
517501bcf14a | out/nix/store/4cnmxc1jf798hli2i7635kikz3csr59w-ocaml4.14.1-apron-0.9.13 bin/nix/store/ni46biin00h6mnlwh1sczfakxy6c63kx-ocaml4.14.1-apron-0.9.13-bin dev (not default)/nix/store/k4rwc14rx343c657fp5arvypshry304g-ocaml4.14.1-apron-0.9.13-dev |
||
x86_64-darwinmacOS · x86-64 |
ocamlPackages.apron |
517501bcf14a | out/nix/store/i9vmh5pnqngyfkhccb525bs91p8lh746-ocaml4.14.1-apron-0.9.13 bin/nix/store/zm3v0zrjzvrdgnlc3if8hi373b3iwmdg-ocaml4.14.1-apron-0.9.13-bin dev (not default)/nix/store/x6a5a82p68mja4n215fm3cg2d5rjfdf0-ocaml4.14.1-apron-0.9.13-dev |
||
x86_64-linuxLinux · x86-64 |
ocamlPackages.apron |
517501bcf14a | out/nix/store/gss6g0jvky1mngqiicw7s7p0yajmikg4-ocaml4.14.1-apron-0.9.13 bin/nix/store/s1d54zfqh6wa6mfxhcqgr410xxm5kia7-ocaml4.14.1-apron-0.9.13-bin dev (not default)/nix/store/y9q62zq108br6f51pi9p90hz82l8vr0m-ocaml4.14.1-apron-0.9.13-dev |
JSON: /v2/pkg?name=ocamlPackages.apron · /v2/resolve?name=ocamlPackages.apron&version=0.9.13