Succeeded
| Evaluation: | #1 |
|---|---|
| Time: | 2023-05-19 11:05Z - 2023-05-19 11:05Z (1.262 s) |
| Package: | gprbuild-boot |
| Maintainers: | |
| out path: | /nix/store/lxjaa8pb4ikv3wbmm2cz59fd66xn6pis-xmlada-23.0.0-src |
| drv path: | /nix/store/2a1xrmrrhkg6v5k5m9dpsak5y892r19g-xmlada-23.0.0-src.drv |
| Expected hash: | r:sha256 728bdc4b095042344a4efd0374c1206a15d795c8744de2a7bd2c8eb063bdf9ed |
| urls: | https://github.com/AdaCore/xmlada/archive/v23.0.0.tar.gz |
Partial build log
this derivation will be built: /nix/store/r93l5m9xsnmkbm6g1w6zysb0w5w7lwcq-xmlada-23.0.0-src.drv building '/nix/store/c92f84yd9nxsv79zxc10q6v1f09ad6gp-xmlada-23.0.0-src.drv'... xmlada> trying https://github.com/AdaCore/xmlada/archive/v23.0.0.tar.gz xmlada> % Total % Received % Xferd Average Speed Time Time Time Current xmlada> Dload Upload Total Spent Left Speed xmlada> 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 xmlada> 100 1028k 0 1028k 0 0 1339k 0 --:--:-- --:--:-- --:--:-- 1339k xmlada> unpacking source archive /build/v23.0.0.tar.gz