nixsearch
nixsearch / pkg / ocamlPackages.sail / 0.20.1

ocamlPackages.sail 0.20.1

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.1
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4 
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#ocamlPackages.sail
systemsx86_64-darwin commitf76e4c7b1840704deda511ab34f37b829f6b5636 
$ nix shell github:NixOS/nixpkgs/f76e4c7b1840704deda511ab34f37b829f6b5636#ocamlPackages.sail

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.sail b6c8664de9b6
out
/nix/store/05rvpsvlqa7r5dvhabjxrl26ywci3vzz-ocaml5.5.0-sail-0.20.1
aarch64-linux
Linux · arm64		 ocamlPackages.sail b6c8664de9b6
out
/nix/store/qpnh9ibrd4znl7m68bxin1srkyh17gj6-ocaml5.5.0-sail-0.20.1
x86_64-darwin
macOS · x86-64		 ocamlPackages.sail f76e4c7b1840
out
/nix/store/ckrls1lr93phfriw7pxj4r2z7yqg19vc-ocaml5.4.1-sail-0.20.1
x86_64-linux
Linux · x86-64		 ocamlPackages.sail b6c8664de9b6
out
/nix/store/gm195mk88mvxdzfqs12ps034sdz4qrix-ocaml5.5.0-sail-0.20.1
all 7 releases older: 0.20 →

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