nixsearch
nixsearch / pkg / sail-riscv / 0.8

sail-riscv 0.8

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

Pin this version

$ devbox add sail-riscv@0.8
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit3d46470bb3030020f7e1361f33514854f5bfa86d 
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#sail-riscv

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 sail-riscv 3d46470bb303
out
/nix/store/zdb64xsh3g4anpb7zx6kcj9rcwi5rsrj-sail-riscv-0.8
aarch64-linux
Linux · arm64		 sail-riscv 3d46470bb303
out
/nix/store/8asszd7pw2amrndj6d9x1ihz54f18hl2-sail-riscv-0.8
x86_64-darwin
macOS · x86-64		 sail-riscv 3d46470bb303
out
/nix/store/fhky8m8m6c8shv6czjjfx2gs31vm00xi-sail-riscv-0.8
x86_64-linux
Linux · x86-64		 sail-riscv 3d46470bb303
out
/nix/store/q7spihqq5bwrjpjl5knijp590ybbraxh-sail-riscv-0.8
← newer: 0.12 all 4 releases older: 0.7 →

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