nixsearch
nixsearch / pkg / ocamlPackages.sail / 0.19

ocamlPackages.sail 0.19

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

Pin this version

$ devbox add ocamlPackages.sail@0.19
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit648f70160c03151bc2121d179291337ad6bc564b 
$ nix shell github:NixOS/nixpkgs/648f70160c03151bc2121d179291337ad6bc564b#ocamlPackages.sail

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.sail 648f70160c03
out
/nix/store/fwxmpn2vk31q5072xm8lln9ac9mq78b7-ocaml5.3.0-sail-0.19
aarch64-linux
Linux · arm64		 ocamlPackages.sail 648f70160c03
out
/nix/store/hg5yrasran7g1cpy31f101860i4ib11k-ocaml5.3.0-sail-0.19
x86_64-darwin
macOS · x86-64		 ocamlPackages.sail 648f70160c03
out
/nix/store/bssgw689yfivl4kaam34qmaqc2k9rc2s-ocaml5.3.0-sail-0.19
x86_64-linux
Linux · x86-64		 ocamlPackages.sail 648f70160c03
out
/nix/store/hb2446pd1qwf5k07nb91k83wp65v3sp1-ocaml5.3.0-sail-0.19
← newer: 0.19.1 all 7 releases older: 0.18 →

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