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

upload niks3: ok