Succeeded
| Evaluation: | #1 |
|---|---|
| Time: | 2023-05-14 12:05Z - 2023-05-14 12:05Z (0.833 s) |
| Package: | acl2-minimal |
| Maintainers: | |
| out path: | /nix/store/hbw31kwwmx7d3y9zn54982h5qrmar202-glucose-ipasir.zip |
| drv path: | /nix/store/mag8grmylipamnm9ww2jwsff2bajlvj6-glucose-ipasir.zip.drv |
| Expected hash: | sha256 b2f1836c22e53cd0a0d6c907c9c57d7114b5cde71ab19a1d828defe49b7a9075 |
| urls: | https://baldur.iti.kit.edu/sat-competition-2017/solvers/incremental/glucose-ipasir.zip |
Partial build log
this derivation will be built: /nix/store/6mzb6vikbirl62w5dy32gs2nc9zjrzy5-glucose-ipasir.zip.drv building '/nix/store/v08n3p8ygvpmnw7g2nqfmn1gafs8dgph-glucose-ipasir.zip.drv'... glucose-ipasir.zip> error checking the existence of file:///dev/null/sha256/0xchgady9vwdh8frmc8swz6va53igp2wj1y9sshd0g7549n87wdj: glucose-ipasir.zip> curl: (37) Couldn't open file /dev/null/sha256/0xchgady9vwdh8frmc8swz6va53igp2wj1y9sshd0g7549n87wdj glucose-ipasir.zip> trying https://baldur.iti.kit.edu/sat-competition-2017/solvers/incremental/glucose-ipasir.zip glucose-ipasir.zip> % Total % Received % Xferd Average Speed Time Time Time Current glucose-ipasir.zip> Dload Upload Total Spent Left Speed glucose-ipasir.zip> 100 718k 100 718k 0 0 1381k 0 --:--:-- --:--:-- --:--:-- 1382k