nixsearch / pkg / ocamlPackages_latest.mopsa / 1.1
ocamlPackages_latest.mopsa 1.1
Modular and Open Platform for Static Analysis using Abstract Interpretation
Linux and macOS
last changed
outputs: bin, out
Pin this version
$ devbox add ocamlPackages_latest.mopsa@1.1
$ nix shell github:NixOS/nixpkgs/c27cdad491a991b11ed731760aa2ef8db0cb0410#ocamlPackages_latest.mopsa
$ nix shell github:NixOS/nixpkgs/a1bab9e494f5f4939442a57a58d0449a109593fe#ocamlPackages_latest.mopsa
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
ocamlPackages_latest.mopsa |
c27cdad491a9 | bin/nix/store/3454g1pm8bgxzqggcabh3v48hbcri5bh-ocaml5.5.0-mopsa-1.1-bin out (not default)/nix/store/cpli4ahyqnc72zfa5fd4km93zczr61zs-ocaml5.5.0-mopsa-1.1 |
||
aarch64-linuxLinux · arm64 |
ocamlPackages_latest.mopsa |
c27cdad491a9 | bin/nix/store/5mbzx1aii0r80w6cdj1h5m5fz6qj174z-ocaml5.5.0-mopsa-1.1-bin out (not default)/nix/store/g3yr5jg3iqfqk07yjrsbjsppyvr41865-ocaml5.5.0-mopsa-1.1 |
||
x86_64-darwinmacOS · x86-64 |
ocamlPackages_latest.mopsa |
a1bab9e494f5 | bin/nix/store/c1rp9gc5vwrz4s0crn3zg69lgi0rkwp3-ocaml5.4.0-mopsa-1.1-bin out (not default)/nix/store/ylx25cq3k7ry3j4cc1bbx8v5wynq9j94-ocaml5.4.0-mopsa-1.1 |
||
x86_64-linuxLinux · x86-64 |
ocamlPackages_latest.mopsa |
c27cdad491a9 | bin/nix/store/jbq2k42i06l9zk1kbpdxxp3g0lf39xj5-ocaml5.5.0-mopsa-1.1-bin out (not default)/nix/store/35s3jq5ilpvddkjng425x879xsk2vncl-ocaml5.5.0-mopsa-1.1 |
JSON: /v2/pkg?name=ocamlPackages_latest.mopsa · /v2/resolve?name=ocamlPackages_latest.mopsa&version=1.1