nixsearch
nixsearch / pkg / sail-riscv / 0.6

sail-riscv 0.6

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

Pin this version

$ devbox add sail-riscv@0.6
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commitbd3bac8bfb542dbde7ffffb6987a1a1f9d41699f 
$ nix shell github:NixOS/nixpkgs/bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f#sail-riscv

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 sail-riscv bd3bac8bfb54
out
/nix/store/r9fb4zmbv1x9av3bg5ifcyal6w4413k4-sail-riscv-0.6
aarch64-linux
Linux · arm64		 sail-riscv bd3bac8bfb54
out
/nix/store/kzqfg1gvwydv35h356x114vvd6b8hfzv-sail-riscv-0.6
x86_64-darwin
macOS · x86-64		 sail-riscv bd3bac8bfb54
out
/nix/store/6500yhh6qrls8rbl9kq2lmr7dv6k9cvs-sail-riscv-0.6
x86_64-linux
Linux · x86-64		 sail-riscv bd3bac8bfb54
out
/nix/store/cd4m3zqckzapj4sl6sr59f11s9j6zaiw-sail-riscv-0.6
← newer: 0.7 all 4 releases

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