nixsearch
nixsearch / pkg / ocamlPackages.sail / 0.15

ocamlPackages.sail 0.15

Language for describing the instruction-set architecture (ISA) semantics of processors
Linux and macOS last changed

Pin this version

$ devbox add ocamlPackages.sail@0.15
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit75a52265bda7fd25e06e3a67dee3f0354e73243c 
$ nix shell github:NixOS/nixpkgs/75a52265bda7fd25e06e3a67dee3f0354e73243c#ocamlPackages.sail

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.sail 75a52265bda7
out
/nix/store/5k6r41i81xhfyslr0z8li54yf5wja39a-ocaml4.14.1-sail-0.15
aarch64-linux
Linux · arm64		 ocamlPackages.sail 75a52265bda7
out
/nix/store/nz5zkaq1z397yzsj3yimgiqd3rln9x2d-ocaml4.14.1-sail-0.15
x86_64-darwin
macOS · x86-64		 ocamlPackages.sail 75a52265bda7
out
/nix/store/p5ai1kr2nf0dch954i90326n80askijv-ocaml4.14.1-sail-0.15
x86_64-linux
Linux · x86-64		 ocamlPackages.sail 75a52265bda7
out
/nix/store/51785xmh5i77yigl85j7sx8cgx1h43ir-ocaml4.14.1-sail-0.15
← newer: 0.16 all 7 releases

JSON: /v2/pkg?name=ocamlPackages.sail · /v2/resolve?name=ocamlPackages.sail&version=0.15