Succeeded
| Evaluation: | #1 |
|---|---|
| Time: | 2023-05-15 15:05Z - 2023-05-15 15:05Z (1.140 s) |
| Package: | agda |
| Maintainers: | |
| out path: | /nix/store/m12ygdimal6gxh413pr75ldslgyblc5l-data-hash-0.2.0.1.tar.gz |
| drv path: | /nix/store/i3c8j8snnc0fzj51spyaz5xpmra3p470-data-hash-0.2.0.1.tar.gz.drv |
| Expected hash: | sha256 9117dd49013ca28ff188fc71c3595ac3af23d56d301c1f39bac93d44d8c60bbe |
| urls: | mirror://hackage/data-hash-0.2.0.1.tar.gz |
Partial build log
this derivation will be built: /nix/store/rik8sg7kb9shmv3zbhlr2jhpf35k26vz-data-hash-0.2.0.1.tar.gz.drv building '/nix/store/0y58fd3yx2kq2gllf74c6rcbg63432x4-data-hash-0.2.0.1.tar.gz.drv'... data-hash> trying https://hackage.haskell.org/package/data-hash-0.2.0.1.tar.gz data-hash> % Total % Received % Xferd Average Speed Time Time Time Current data-hash> Dload Upload Total Spent Left Speed data-hash> 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 data-hash> 100 8504 100 8504 0 0 10133 0 --:--:-- --:--:-- --:--:-- 10133