Succeeded
| Evaluation: | #2 |
|---|---|
| Time: | 2023-06-06 08:06Z - 2023-06-06 08:06Z (0.790 s) |
| Package: | advi |
| Maintainers: | xworld21 |
| out path: | /nix/store/9s609p83c20hqqvyvv86wp43l8di6nsm-advi-2.0.0.tar.gz |
| drv path: | /nix/store/bnkylvialaf175fj874zl2sbc0fqb2bs-advi-2.0.0.tar.gz.drv |
| Expected hash: | sha256 7340d01e5bdd7a42725c2c66478f94b7f9e3b680b39aa5fa84d6b336ff0fa414 |
| urls: | http://advi.inria.fr/advi-2.0.0.tar.gz |
Partial build log
this derivation will be built: /nix/store/d0rpjg3jxxlvhh2rkv6a7jxpyr2j5zky-advi-2.0.0.tar.gz.drv building '/nix/store/d0rpjg3jxxlvhh2rkv6a7jxpyr2j5zky-advi-2.0.0.tar.gz.drv'... advi> trying http://advi.inria.fr/advi-2.0.0.tar.gz advi> % Total % Received % Xferd Average Speed Time Time Time Current advi> Dload Upload Total Spent Left Speed advi> 100 8440k 100 8440k 0 0 19.9M 0 --:--:-- --:--:-- --:--:-- 19.9M