nixsearch
nixsearch / pkg / sail-riscv / 0.7

sail-riscv 0.7

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

Pin this version

$ devbox add sail-riscv@0.7
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit870493f9a8cb0b074ae5b411b2f232015db19a65 
$ nix shell github:NixOS/nixpkgs/870493f9a8cb0b074ae5b411b2f232015db19a65#sail-riscv

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 sail-riscv 870493f9a8cb
out
/nix/store/85fgr9a3xaqq4d4zcwmsl73125x4npap-sail-riscv-0.7
aarch64-linux
Linux · arm64		 sail-riscv 870493f9a8cb
out
/nix/store/na6k686ifrwpylpjv4syrrr9p0marg8x-sail-riscv-0.7
x86_64-darwin
macOS · x86-64		 sail-riscv 870493f9a8cb
out
/nix/store/z3xv7f7p1dq53x65pif8gz7cshg6mpcl-sail-riscv-0.7
x86_64-linux
Linux · x86-64		 sail-riscv 870493f9a8cb
out
/nix/store/0j936mmdvxz2yb3cz5prwjnda10g13hr-sail-riscv-0.7
← newer: 0.8 all 4 releases older: 0.6 →

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