Succeeded
| Evaluation: | #1 |
|---|---|
| Time: | 2023-05-15 14:05Z - 2023-05-15 14:05Z (0.929 s) |
| Package: | aiger |
| Maintainers: | |
| out path: | /nix/store/ww3rscm1gkib0g9s8sdqrg6izqvz89np-aiger-1.9.9.tar.gz |
| drv path: | /nix/store/00kx6wjjw5gkhjyzm3hc2hczbvcmhjfw-aiger-1.9.9.tar.gz.drv |
| Expected hash: | sha256 1e50d3db36f5dc5ed0e57aa4c448b9bcf82865f01736dde1f32f390b780350c7 |
| urls: | http://fmv.jku.at/aiger/aiger-1.9.9.tar.gz |
Partial build log
this derivation will be built: /nix/store/zmfcyjizd3l17bvcfbzrbf5ylrj40qp0-aiger-1.9.9.tar.gz.drv building '/nix/store/5fj6zs7wj9pjrwm502pck43xfbp1r1qq-aiger-1.9.9.tar.gz.drv'... aiger> error checking the existence of file:///dev/null/sha256/1ish0dw0nf9gyghxsdhpy1jjiy5wp54c993swp85xp7m6vdx6l0y: aiger> curl: (37) Couldn't open file /dev/null/sha256/1ish0dw0nf9gyghxsdhpy1jjiy5wp54c993swp85xp7m6vdx6l0y aiger> trying http://fmv.jku.at/aiger/aiger-1.9.9.tar.gz aiger> % Total % Received % Xferd Average Speed Time Time Time Current aiger> Dload Upload Total Spent Left Speed aiger> 100 78 100 78 0 0 261 0 --:--:-- --:--:-- --:--:-- 260 aiger> 100 311k 100 311k 0 0 692k 0 --:--:-- --:--:-- --:--:-- 692k