Succeeded
| Evaluation: | #1 |
|---|---|
| Time: | 2023-05-19 12:05Z - 2023-05-19 12:05Z (1.286 s) |
| Package: | gprbuild-boot |
| Maintainers: | |
| out path: | /nix/store/4bm87k2wxlsxjzxkf9q3zj02sq2g8ygp-gprconfig-kb-23.0.0-src |
| drv path: | /nix/store/kdgg9fy9wn6jqrqylpy159xdjmnwkym4-gprconfig-kb-23.0.0-src.drv |
| Expected hash: | r:sha256 421b8f54a6e89cb2fd1c770efeed4cf9dae775ac08cc63541c8e5e91099e1ae6 |
| urls: | https://github.com/AdaCore/gprconfig_kb/archive/v23.0.0.tar.gz |
Partial build log
this derivation will be built: /nix/store/0b2j945rwb75mgilxmxbz54g8jx2mkqv-gprconfig-kb-23.0.0-src.drv building '/nix/store/5pk3w2xfilj9lfx81rgsd7sd23j3wnph-gprconfig-kb-23.0.0-src.drv'... gprconfig-kb> trying https://github.com/AdaCore/gprconfig_kb/archive/v23.0.0.tar.gz gprconfig-kb> % Total % Received % Xferd Average Speed Time Time Time Current gprconfig-kb> Dload Upload Total Spent Left Speed gprconfig-kb> 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 gprconfig-kb> 100 42132 0 42132 0 0 67420 0 --:--:-- --:--:-- --:--:-- 155k gprconfig-kb> unpacking source archive /build/v23.0.0.tar.gz