nixsearch
nixsearch / pkg / ocamlPackages.sail / 0.20

ocamlPackages.sail 0.20

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

Pin this version

$ devbox add ocamlPackages.sail@0.20
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commita1bab9e494f5f4939442a57a58d0449a109593fe 
$ nix shell github:NixOS/nixpkgs/a1bab9e494f5f4939442a57a58d0449a109593fe#ocamlPackages.sail

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.sail a1bab9e494f5
out
/nix/store/gpvz0bxfp14lb7byf53hg7y1cgwzkagz-ocaml5.3.0-sail-0.20
aarch64-linux
Linux · arm64		 ocamlPackages.sail a1bab9e494f5
out
/nix/store/nmj1yxx0rmmgl904irf1sd9g60s2bkdv-ocaml5.3.0-sail-0.20
x86_64-darwin
macOS · x86-64		 ocamlPackages.sail a1bab9e494f5
out
/nix/store/l9js7g0lyjwlfc8k8ibk88r19xyzpbc8-ocaml5.3.0-sail-0.20
x86_64-linux
Linux · x86-64		 ocamlPackages.sail a1bab9e494f5
out
/nix/store/5b1xwkj3gf3a7s22am33vmahh42zdqsi-ocaml5.3.0-sail-0.20
← newer: 0.20.1 all 7 releases older: 0.19.1 →

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