nixsearch
nixsearch / pkg / ocamlPackages_latest.sail / 0.20

ocamlPackages_latest.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_latest.sail@0.20
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commita1bab9e494f5f4939442a57a58d0449a109593fe 
$ nix shell github:NixOS/nixpkgs/a1bab9e494f5f4939442a57a58d0449a109593fe#ocamlPackages_latest.sail

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages_latest.sail a1bab9e494f5
out
/nix/store/dmbcjcb1psji9vbbhrpkwvm4aph41rrp-ocaml5.4.0-sail-0.20
aarch64-linux
Linux · arm64		 ocamlPackages_latest.sail a1bab9e494f5
out
/nix/store/danrzcb7rkvrxzyc225jd686m3xj50iz-ocaml5.4.0-sail-0.20
x86_64-darwin
macOS · x86-64		 ocamlPackages_latest.sail a1bab9e494f5
out
/nix/store/zsamfvy5m4phxjy2zcgdzb6a7cryjfx9-ocaml5.4.0-sail-0.20
x86_64-linux
Linux · x86-64		 ocamlPackages_latest.sail a1bab9e494f5
out
/nix/store/wac8h0v9vkiy2hdv7vccybl95djmgg15-ocaml5.4.0-sail-0.20
← newer: 0.20.1 all 2 releases

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