nixsearch / pkg / ocamlPackages.dolmen_loop / 0.9
ocamlPackages.dolmen_loop 0.9
Tool library for automated deduction tools
Linux and macOS
last changed
Pin this version
$ devbox add ocamlPackages.dolmen_loop@0.9
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit5ed627539ac84809c78b2dd6d26a5cebeb5ae269
$ nix shell github:NixOS/nixpkgs/5ed627539ac84809c78b2dd6d26a5cebeb5ae269#ocamlPackages.dolmen_loop
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
ocamlPackages.dolmen_loop |
5ed627539ac8 | out/nix/store/0vbf2ccxvg08wgnvp2yhfys1vfp6jvqx-ocaml5.1.1-dolmen_loop-0.9 |
||
aarch64-linuxLinux · arm64 |
ocamlPackages.dolmen_loop |
5ed627539ac8 | out/nix/store/l5vzzvrq008673ys8cmpz592gibjbv0d-ocaml5.1.1-dolmen_loop-0.9 |
||
x86_64-darwinmacOS · x86-64 |
ocamlPackages.dolmen_loop |
5ed627539ac8 | out/nix/store/19vhlfjillx6v893v3r5jzrw6pq5bjp9-ocaml5.1.1-dolmen_loop-0.9 |
||
x86_64-linuxLinux · x86-64 |
ocamlPackages.dolmen_loop |
5ed627539ac8 | out/nix/store/9p26b6c2knssx0ap2pkafwvrqdm6r87z-ocaml5.1.1-dolmen_loop-0.9 |
JSON: /v2/pkg?name=ocamlPackages.dolmen_loop · /v2/resolve?name=ocamlPackages.dolmen_loop&version=0.9