Formal specification of the RISC-V architecture, written in Sail
Blocked by failed dependencies; not queued for a build.
No build output for this package in this campaign. Open a dependency's failure log below.
Planning log · · This campaign
pkgs/applications/virtualization/sail-riscv/default.nixBlocking dependencies
Direct dependencies
bash-5.2p37cmake-3.31.6gmp-with-cxx-6.3.0ninja-1.12.1ocaml5.3.0-sail-0.19sourcestdenv-linuxx86_64-unknown-linux-gnufilc0-pkg-config-wrapper-0.29.2z3-4.15.1zlib-1.3Selected dependents
None recorded.