Succeeded
| Evaluation: | #2 |
|---|---|
| Time: | 2023-06-06 04:06Z - 2023-06-06 04:06Z (1.262 s) |
| Package: | abella |
| Maintainers: | bcdarwin ciil |
| out path: | /nix/store/7m864mlxgmhi12img6g9rzc09hv5damn-abella-2.0.7.tar.gz |
| drv path: | /nix/store/wmjm26vgahsirg9f79ykwimsk9fvg3my-abella-2.0.7.tar.gz.drv |
| Expected hash: | sha256 fde3a279b3051e0aeeaedad21cf96064edf19a6c413949b2033b305d92dddd87 |
| urls: | http://abella-prover.org/distributions/abella-2.0.7.tar.gz |
Partial build log
this derivation will be built: /nix/store/5nvygm64pwb0g96hq7r0f6q96qp2kl46-abella-2.0.7.tar.gz.drv building '/nix/store/5nvygm64pwb0g96hq7r0f6q96qp2kl46-abella-2.0.7.tar.gz.drv'... abella> trying http://abella-prover.org/distributions/abella-2.0.7.tar.gz abella> % Total % Received % Xferd Average Speed Time Time Time Current abella> Dload Upload Total Spent Left Speed abella> 100 210k 100 210k 0 0 231k 0 --:--:-- --:--:-- --:--:-- 231k