nixbot

builds
sign in

setup checks.x86_64-linux.compcert · build #5 · raw

1these 2 paths will be fetched (0.0 KiB download, 27.6 MiB unpacked):2 /nix/store/anj8pl77n2hkz69fwd40xbwgqsgs0mmd-coq8.16-compcert-3.11-doc3 /nix/store/dr61lj6jjfihkw63y7w1sldbqcyhfxzx-coq8.16-compcert-3.11-man