nixsearch
nixsearch / pkg / sail-riscv

sail-riscv

Formal specification of the RISC-V architecture, written in Sail
BSD-2-Clause github.com sail-riscv 4 releases newest changed
sail-riscv@ latest, 3.11, ^3.11, >=3.10 <3.12
version0.12 attributesail-riscv rev systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux 
$ devbox add sail-riscv@0.12
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#sail-riscv  # aarch64-darwin
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#sail-riscv  # aarch64-linux
$ nix shell github:NixOS/nixpkgs/f76e4c7b1840704deda511ab34f37b829f6b5636#sail-riscv  # x86_64-darwin
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#sail-riscv  # x86_64-linux

JSON: /v2/resolve?name=sail-riscv&version=latest

Releases

newest first, as /v2/pkg orders them
Versionarm
mac		arm
linux		x86
mac		x86
linux		AttributeCommitDateOutputs
0.12resolved ✓✓✓✓ sail-riscv varies
0.8 ✓✓✓✓ sail-riscv 3d46470bb3
0.7 ✓✓✓✓ sail-riscv 870493f9a8
0.6 ✓✓✓✓ sail-riscv bd3bac8bfb

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.