nixsearch
nixsearch / pkg / ocamlPackages.apron / 0.9.14

ocamlPackages.apron 0.9.14

Numerical abstract domain library
Linux and macOS last changed outputs: out, dev

Pin this version

$ devbox add ocamlPackages.apron@0.9.14
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commita9858885e197f984d92d7fe64e9fff6b2e488d40
$ nix shell github:NixOS/nixpkgs/a9858885e197f984d92d7fe64e9fff6b2e488d40#ocamlPackages.apron

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64
ocamlPackages.apron a9858885e197
out
/nix/store/rwylkncrha9ril88lq1vky3zkhqldkg7-ocaml5.1.1-apron-0.9.14
dev (not default)
/nix/store/m5fd0vkharlkfhgrwilw76kb5qx6zcsb-ocaml5.1.1-apron-0.9.14-dev
aarch64-linux
Linux · arm64
ocamlPackages.apron a9858885e197
out
/nix/store/8his6g6nncfz0g68hqq2xpi9yk8p6i14-ocaml5.1.1-apron-0.9.14
dev (not default)
/nix/store/iwlr0mbl5ipbsrj6pfrn05s8z68802bh-ocaml5.1.1-apron-0.9.14-dev
x86_64-darwin
macOS · x86-64
ocamlPackages.apron a9858885e197
out
/nix/store/95b62z3bdwgqxvwgcn7jg4cwawx26fz6-ocaml5.1.1-apron-0.9.14
dev (not default)
/nix/store/zg3iiqnjh5cqq1272xvpd390ygv6bq7b-ocaml5.1.1-apron-0.9.14-dev
x86_64-linux
Linux · x86-64
ocamlPackages.apron a9858885e197
out
/nix/store/5ijjswzd66q0j0dgfni3vw5iigywahl7-ocaml5.1.1-apron-0.9.14
dev (not default)
/nix/store/p1bx5sq9xck8wydrfg9rsvafqlcv7wy4-ocaml5.1.1-apron-0.9.14-dev
← newer: 0.9.15 all 4 releases older: 0.9.13 →

JSON: /v2/pkg?name=ocamlPackages.apron · /v2/resolve?name=ocamlPackages.apron&version=0.9.14