Succeeded
| Evaluation: | #1 |
|---|---|
| Time: | 2023-05-14 13:05Z - 2023-05-14 13:05Z (1.255 s) |
| Package: | abella |
| Maintainers: | |
| out path: | /nix/store/7m864mlxgmhi12img6g9rzc09hv5damn-abella-2.0.7.tar.gz |
| drv path: | /nix/store/xid6jmihiqzzhxjjncm6lfcq8cjhm7xy-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/syl0xjlrm7j6kqznxz7nsmqjxv1zpza0-abella-2.0.7.tar.gz.drv building '/nix/store/fy7wjx8njdg5an8rvld9zh2hi13jlysx-abella-2.0.7.tar.gz.drv'... abella> error checking the existence of file:///dev/null/sha256/sha256-/eOiebMFHgrurtrSHPlgZO3xmmxBOUmyAzswXZLd3Yc=: abella> curl: (37) Couldn't open file /dev/null/sha256/sha256-/eOiebMFHgrurtrSHPlgZO3xmmxBOUmyAzswXZLd3Yc= 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 208k 0 0:00:01 0:00:01 --:--:-- 208k