Maintainer Mode
Sign in with GitHub

sail-riscv

sail-riscv 0.12 · pkgs/by-name/sa/sail-riscv/package.nix
Sign in to subscribe
Health
Risk
risk 2 low
  • +2 no meta.mainProgram, no versionCheckHook
Version
0.12 no newer release known to repology
Channels
master 0.12 · nixos-unstable 0.12 · nixos-26.05 0.8 master is ahead of nixos-26.05
Hydra
succeeded 3d ago
Advisories
none open
Packaging
no meta.mainProgram no versionCheckHook
Packagewhat each field means
Description
Formal specification of the RISC-V architecture, written in Sail
Homepage
https://github.com/riscv/sail-riscv
License
BSD-2-Clause
Platforms
not set
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/sa/sail-riscv/package.nix:53
Maintainers
xokdvium
Version bumps 0all open bumps
None open.
Pull requests 1
various: migrate ocaml packages to by name draft
#492916 by guylamar2006 · opened 7mo ago
Closed or merged in the synced window 1
[Backport release-26.05] various: migrate to by-name
#525957 by nixpkgs-ci · closed 4mo ago
Issues 0
None open.