Succeeded
| Evaluation: | #1 |
|---|---|
| Time: | 2023-05-19 11:05Z - 2023-05-19 11:05Z (1.373 s) |
| Package: | gprbuild-boot |
| Maintainers: | |
| out path: | /nix/store/hp8l6jv7f27z8khp1cx7yz0wy18pmb4a-gprbuild-23.0.0 |
| drv path: | /nix/store/is061iynaqrhvwdn8wp08ids7bg07jy7-gprbuild-23.0.0.drv |
| Expected hash: | r:sha256 dd1843eadccb309fa723b37b00af2f3ae91ad8286387104b3e6da3042dc12ab2 |
| urls: | https://github.com/AdaCore/gprbuild/archive/v23.0.0.tar.gz |
Partial build log
this derivation will be built: /nix/store/1whsi6gqf243dwi461fm6w0fqswraqvp-gprbuild-23.0.0.drv building '/nix/store/kkdwv15rpfm4p5afc9yvf8nyhmz5ji8a-gprbuild-23.0.0.drv'... gprbuild> trying https://github.com/AdaCore/gprbuild/archive/v23.0.0.tar.gz gprbuild> % Total % Received % Xferd Average Speed Time Time Time Current gprbuild> Dload Upload Total Spent Left Speed gprbuild> 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 gprbuild> 100 930k 0 930k 0 0 1285k 0 --:--:-- --:--:-- --:--:-- 2286k gprbuild> unpacking source archive /build/v23.0.0.tar.gz