these 4 derivations will be built:
  /nix/store/455yyji4l4ndfnpbfwvizmv4w4l5wp99-35531503b3493cb9b0ec8a8585e84928c85b4af9.patch.drv
  /nix/store/4fiy3j3bhmqjibmylzc4bir87fdxzv75-source.drv
  /nix/store/fgaxirj7gljvm3r00vfhp2vnl8hlml65-34be08a23d18d56f2dde24fd24b6dbe3bcb01ec3.patch.drv
  /nix/store/c0v240j4c6jr2x8n6kivgnn9vjj4a9h5-coq8.16-compcert-3.11.drv
these 8 paths will be fetched (189.7 MiB download, 836.4 MiB unpacked):
  /nix/store/f7bj3ac2bysmkgd7amnczz8gnpjavigz-blas-3
  /nix/store/xhrf5cq7cil1p3q34j5q2300mqx69pwd-coq-8.16.1
  /nix/store/66piwy0ay89wfdw049dfsk6z1l9l2mlz-coq2html-1.3
  /nix/store/15d979xj5ilp361wk52c7xviq589ykp0-coq8.16-flocq-4.1.0
  /nix/store/igq0rs00wdhj0hrjr16h82ffzw9h0ids-csdp-6.1.1
  /nix/store/69lvvsk8wpxgn5a4zypc8zkkcqyslfhh-lapack-3
  /nix/store/72jz2fcr51xy5mn84z2kca7bhpf316ac-ocaml4.14.0-menhirLib-20220210
  /nix/store/ya12pf3fycdmnzh2gijfwr5577855znk-patchutils-0.3.3