skip to content
Failures (1)
sbcl-2.3.0
failed
· open ↗
· raw ↗
Succeeded (10)
10 built
setup
built · 445.9s
· open ↗
· raw ↗
builder.pl
built
glucose-4.1
built · 10.0s
· open ↗
· raw ↗
libipasirglucose4-2017
built · 10.8s
· open ↗
· raw ↗
minisat-2.2.1
built · 4.0s
· open ↗
· raw ↗
z3-4.8.15
built · 440.7s
· open ↗
· raw ↗
abc-verifier-unstable-2022-11-09
built · 53.9s
· open ↗
· raw ↗
sbcl-bootstrap-1.2.7
built · 2.1s
· open ↗
· raw ↗
0001-Fix-some-paths-for-Nix-build.patch
built
python3-3.10.9-env
built · 2.2s
· open ↗
· raw ↗