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
building '/nix/store/l4zycjcf11dz5w08x0czxcs96jj08v01-source.drv'
source> 
source> trying https://github.com/AbsInt/compcert/archive/v3.11.zip
source>   % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
source>                                  Dload  Upload   Total   Spent    Left  Speed
source>   0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
building '/nix/store/03c78kyvv63x3cq493fz4xbdnhhynhhf-34be08a23d18d56f2dde24fd24b6dbe3bcb01ec3.patch.drv'
building '/nix/store/fidfg5j3sa4g9v7mayddi7zman9qj47i-35531503b3493cb9b0ec8a8585e84928c85b4af9.patch.drv'
source> 100 3234k    0 3234k    0     0  3642k      0 --:--:-- --:--:-- --:--:-- 3642k
source> unpacking source archive /nix/var/nix/builds/nix-2572981-4201740561/v3.11.zip
34be08a23d18d56f2dde24fd24b6dbe3bcb01ec3.patch> 
34be08a23d18d56f2dde24fd24b6dbe3bcb01ec3.patch> trying https://github.com/AbsInt/CompCert/commit/34be08a23d18d56f2dde24fd24b6dbe3bcb01ec3.patch
34be08a23d18d56f2dde24fd24b6dbe3bcb01ec3.patch>   % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
34be08a23d18d56f2dde24fd24b6dbe3bcb01ec3.patch>                                  Dload  Upload   Total   Spent    Left  Speed
35531503b3493cb9b0ec8a8585e84928c85b4af9.patch> 
35531503b3493cb9b0ec8a8585e84928c85b4af9.patch> trying https://github.com/AbsInt/CompCert/commit/35531503b3493cb9b0ec8a8585e84928c85b4af9.patch
35531503b3493cb9b0ec8a8585e84928c85b4af9.patch>   % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
35531503b3493cb9b0ec8a8585e84928c85b4af9.patch>                                  Dload  Upload   Total   Spent    Left  Speed
34be08a23d18d56f2dde24fd24b6dbe3bcb01ec3.patch> 100  1231  100  1231    0     0   3321      0 --:--:-- --:--:-- --:--:--  3318
35531503b3493cb9b0ec8a8585e84928c85b4af9.patch> 100  1245  100  1245    0     0   2533      0 --:--:-- --:--:-- --:--:--  2535

upload niks3: ok