nixsearch
nixsearch / pkg / sail-riscv / 0.12

sail-riscv 0.12

Formal specification of the RISC-V architecture, written in Sail
Linux and macOS last changed

Pin this version

$ devbox add sail-riscv@0.12
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit55ba7f49ef2962b42cbd126522b7df5f95037679 
$ nix shell github:NixOS/nixpkgs/55ba7f49ef2962b42cbd126522b7df5f95037679#sail-riscv
systemsx86_64-darwin commitf76e4c7b1840704deda511ab34f37b829f6b5636 
$ nix shell github:NixOS/nixpkgs/f76e4c7b1840704deda511ab34f37b829f6b5636#sail-riscv

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 sail-riscv 55ba7f49ef29
out
/nix/store/krwm5sj2d1xgkz4d1mfq2f1bkfcmp05q-sail-riscv-0.12
aarch64-linux
Linux · arm64		 sail-riscv 55ba7f49ef29
out
/nix/store/dpf68wj7j8f3vkdrn93ywq8qqzhpqfsc-sail-riscv-0.12
x86_64-darwin
macOS · x86-64		 sail-riscv f76e4c7b1840
out
/nix/store/ri5ds7amcnwc0df4qpbsm2kk33c3jyav-sail-riscv-0.12
x86_64-linux
Linux · x86-64		 sail-riscv 55ba7f49ef29
out
/nix/store/9xjg9s48xf3w9h1nm3mn4jwmlms4zy2x-sail-riscv-0.12
all 4 releases older: 0.8 →

JSON: /v2/pkg?name=sail-riscv · /v2/resolve?name=sail-riscv&version=0.12