Succeeded
| Evaluation: | #2 |
|---|---|
| Time: | 2023-06-05 20:06Z - 2023-06-05 20:06Z (0.635 s) |
| Package: | aiger |
| Maintainers: | thoughtpolice |
| out path: | /nix/store/ww3rscm1gkib0g9s8sdqrg6izqvz89np-aiger-1.9.9.tar.gz |
| drv path: | /nix/store/bxw3nxgp19cw24v4554qqd033by6zi7q-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/c0inzff9syswyjc4rwxwd4z08zb4jyca-aiger-1.9.9.tar.gz.drv building '/nix/store/c0inzff9syswyjc4rwxwd4z08zb4jyca-aiger-1.9.9.tar.gz.drv'... 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 419 0 --:--:-- --:--:-- --:--:-- 421 aiger> 100 311k 100 311k 0 0 997k 0 --:--:-- --:--:-- --:--:-- 997k