setup
checks.x86_64-linux.compcert
· build #1
· raw
1these 4 derivations will be built:2 /nix/store/455yyji4l4ndfnpbfwvizmv4w4l5wp99-35531503b3493cb9b0ec8a8585e84928c85b4af9.patch.drv3 /nix/store/4fiy3j3bhmqjibmylzc4bir87fdxzv75-source.drv4 /nix/store/fgaxirj7gljvm3r00vfhp2vnl8hlml65-34be08a23d18d56f2dde24fd24b6dbe3bcb01ec3.patch.drv5 /nix/store/c0v240j4c6jr2x8n6kivgnn9vjj4a9h5-coq8.16-compcert-3.11.drv6these 8 paths will be fetched (189.7 MiB download, 836.4 MiB unpacked):7 /nix/store/f7bj3ac2bysmkgd7amnczz8gnpjavigz-blas-38 /nix/store/xhrf5cq7cil1p3q34j5q2300mqx69pwd-coq-8.16.19 /nix/store/66piwy0ay89wfdw049dfsk6z1l9l2mlz-coq2html-1.310 /nix/store/15d979xj5ilp361wk52c7xviq589ykp0-coq8.16-flocq-4.1.011 /nix/store/igq0rs00wdhj0hrjr16h82ffzw9h0ids-csdp-6.1.112 /nix/store/69lvvsk8wpxgn5a4zypc8zkkcqyslfhh-lapack-313 /nix/store/72jz2fcr51xy5mn84z2kca7bhpf316ac-ocaml4.14.0-menhirLib-2022021014 /nix/store/ya12pf3fycdmnzh2gijfwr5577855znk-patchutils-0.3.3