nixbot

builds
sign in

setup checks.x86_64-linux.pkgs-hol-guard · build #7054 · raw

1these 2 derivations will be built:2 /nix/store/sf4v9brjmbhaq7lrh72zsl0ism9z99vr-hol-guard-3.35.0.drv3 /nix/store/f73wh1sqsvb2bjfzq9ihvmkmgrs8bcd7-check-hol-guard.drv