Succeeded
| Evaluation: | #2 |
|---|---|
| Time: | 2023-06-05 20:06Z - 2023-06-05 20:06Z (45.977 s) |
| Package: | acl2-minimal |
| Maintainers: | 7c6f434c kini |
| out path: | /nix/store/p84v26phjpcynf9bqlkvy4sifw7kfani-source |
| drv path: | /nix/store/72j63y6rzgbm8h13ai1g1qvhd04237pq-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/9cmpa4pi0bvsjdai65z1b5ly5pzndpcc-source.drv building '/nix/store/9cmpa4pi0bvsjdai65z1b5ly5pzndpcc-source.drv'... 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 8225k 0 --:--:-- 0:00:26 --:--:-- 10.9M source> unpacking source archive /build/8.5.tar.gz