Succeeded
| Evaluation: | #1 |
|---|---|
| Time: | 2023-05-14 12:05Z - 2023-05-14 12:05Z (43.076 s) |
| Package: | acl2-minimal |
| Maintainers: | |
| out path: | /nix/store/p84v26phjpcynf9bqlkvy4sifw7kfani-source |
| drv path: | /nix/store/qwrp91052p4jkg7v390l5js4pqyzn524-source.drv |
| Expected hash: | r:sha256 f17f4e88d5befbdecdb7e889007f13ddacce2d10a04e6300ce6e0f19742d9b89 |
| urls: | https://github.com/acl2-devel/acl2-devel/archive/8.5.tar.gz |
Partial build log
this derivation will be built: /nix/store/xn8msidyqzdiz4kvaygprfb5m1b3bhmz-source.drv building '/nix/store/nwl0i20zmy9h816jg9m0c5g1868jy46q-source.drv'... source> error checking the existence of file:///dev/null/sha256/12cv5ms1j3vfrq066km020nwxb6x2dzh12g8nz6xxyxysn44wzzi: source> curl: (37) Couldn't open file /dev/null/sha256/12cv5ms1j3vfrq066km020nwxb6x2dzh12g8nz6xxyxysn44wzzi source> trying https://github.com/acl2-devel/acl2-devel/archive/8.5.tar.gz source> % Total % Received % Xferd Average Speed Time Time Time Current source> Dload Upload Total Spent Left Speed source> 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 source> 100 212M 0 212M 0 0 8211k 0 --:--:-- 0:00:26 --:--:-- 10.8M source> unpacking source archive /build/8.5.tar.gz