this derivation will be built:
  /nix/store/c0v240j4c6jr2x8n6kivgnn9vjj4a9h5-coq8.16-compcert-3.11.drv
these 4 paths will be fetched (185.7 MiB download, 823.7 MiB unpacked):
  /nix/store/f7bj3ac2bysmkgd7amnczz8gnpjavigz-blas-3
  /nix/store/xhrf5cq7cil1p3q34j5q2300mqx69pwd-coq-8.16.1
  /nix/store/igq0rs00wdhj0hrjr16h82ffzw9h0ids-csdp-6.1.1
  /nix/store/69lvvsk8wpxgn5a4zypc8zkkcqyslfhh-lapack-3