Build failed
| Evaluation: | #1 |
|---|---|
| Time: | 2023-05-21 11:05Z - 2023-05-21 11:05Z (1.215 s) |
| Package: | iprover |
| Maintainers: | |
| out path: | /nix/store/cg3dqjsjjbh6zhdikal2lp18i2f2hv4y-iprover-v3.1.tar.gz |
| drv path: | /nix/store/magy6609cak6ymhzs3hjma0842lhmqyw-iprover-v3.1.tar.gz.drv |
| Expected hash: | sha256 e8bd2b5274dcc07bbe91b64872208355658262068ec760e9bc5c42afce453352 |
| urls: | http://www.cs.man.ac.uk/~korovink/iprover/iprover-v3.1.tar.gz |
Partial build log
this derivation will be built: /nix/store/dqsc0jcqrbnihb1bq1jmvx2pri6jyq27-iprover-v3.1.tar.gz.drv building '/nix/store/w33m134plkzd8vbyq2j491392w3sgwiv-iprover-v3.1.tar.gz.drv'... iprover-v3.1.tar.gz> trying http://www.cs.man.ac.uk/~korovink/iprover/iprover-v3.1.tar.gz iprover-v3.1.tar.gz> % Total % Received % Xferd Average Speed Time Time Time Current iprover-v3.1.tar.gz> Dload Upload Total Spent Left Speed iprover-v3.1.tar.gz> 0 239 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 iprover-v3.1.tar.gz> curl: (22) The requested URL returned error: 403 iprover-v3.1.tar.gz> error checking the existence of file:///dev/null/sha256/0lik8p7ayhjwpkln1iwf0ri84ramhch74j5nj6z7ph6wfi92pgg8: iprover-v3.1.tar.gz> curl: (37) Couldn't open file /dev/null/sha256/0lik8p7ayhjwpkln1iwf0ri84ramhch74j5nj6z7ph6wfi92pgg8 iprover-v3.1.tar.gz> error: cannot download iprover-v3.1.tar.gz from any mirror error: builder for '/nix/store/w33m134plkzd8vbyq2j491392w3sgwiv-iprover-v3.1.tar.gz.drv' failed with exit code 1 error: