nixsearch
nixsearch / pkg / ocamlPackages.sail / 0.18

ocamlPackages.sail 0.18

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

Pin this version

$ devbox add ocamlPackages.sail@0.18
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitbd3bac8bfb542dbde7ffffb6987a1a1f9d41699f 
$ nix shell github:NixOS/nixpkgs/bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f#ocamlPackages.sail
systemsx86_64-darwin commiteb0e0f21f15c559d2ac7633dc81d079d1caf5f5f 
$ nix shell github:NixOS/nixpkgs/eb0e0f21f15c559d2ac7633dc81d079d1caf5f5f#ocamlPackages.sail

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.sail bd3bac8bfb54
out
/nix/store/49xs27gg8mpsnbw22w5sjhpw4gbwbc2k-ocaml5.2.1-sail-0.18
aarch64-linux
Linux · arm64		 ocamlPackages.sail bd3bac8bfb54
out
/nix/store/axi549813x9n9gj06y9dbvyw1sfwlgy7-ocaml5.2.1-sail-0.18
x86_64-darwin
macOS · x86-64		 ocamlPackages.sail eb0e0f21f15c
out
/nix/store/km7a5lqp7fl5nb6z45myx215x65kvi2m-ocaml5.2.1-sail-0.18
x86_64-linux
Linux · x86-64		 ocamlPackages.sail bd3bac8bfb54
out
/nix/store/3c5xjx7hcv19a46xyiq68pdyyb722s54-ocaml5.2.1-sail-0.18
← newer: 0.19 all 7 releases older: 0.16 →

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