filnix.
The first Filnix inventory
Fil-C b6dd634 · shared cancellation · runningRunner calibration · timeoutRunner calibration · native fixturesThe first Filnix inventory

Source b14a53ed4231

Live log

z3

4.15.1FailedDependencies →

High-performance theorem prover and SMT solver

Build failed; an explicit retry is required.

Failure log · · This campaign

Planning log · · This campaign

pkgs/by-name/z3/z3/package.nix

Direct dependencies

bash-5.2p37python-imports-check-hook.shpython3-3.12.11python3-3.12.11python3-3.12.5python3.12-setuptools-78.1.1sourcestdenv-linuxversion-check-hook

Selected dependents

alive2hal-hardware-analyzeriproverkeykleeponycsimbaplusplussolcsymccugaritvampirez3-tptp