Succeeded
| Evaluation: | #2 |
|---|---|
| Time: | 2023-06-05 21:06Z - 2023-06-05 21:06Z (0.549 s) |
| Package: | acl2-minimal |
| Maintainers: | 7c6f434c kini |
| out path: | /nix/store/hbw31kwwmx7d3y9zn54982h5qrmar202-glucose-ipasir.zip |
| drv path: | /nix/store/8sylrq6kbshr55vdxqfcjy86nqy1y3m8-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/zyr7s4q1x7nkqk73mwzldnjj44fd94hl-glucose-ipasir.zip.drv building '/nix/store/zyr7s4q1x7nkqk73mwzldnjj44fd94hl-glucose-ipasir.zip.drv'... 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 3890k 0 --:--:-- --:--:-- --:--:-- 3906k