Succeeded
| Evaluation: | #2 |
|---|---|
| Time: | 2023-06-05 20:06Z - 2023-06-05 20:06Z (0.868 s) |
| Package: | agda |
| Maintainers: | abbradar iblech turion |
| out path: | /nix/store/m12ygdimal6gxh413pr75ldslgyblc5l-data-hash-0.2.0.1.tar.gz |
| drv path: | /nix/store/b4450c4mj14h1z9qbz4mwm1mhi5vim0q-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/n02bphfalmx76v9ha95qjcq4dzd6b9hr-data-hash-0.2.0.1.tar.gz.drv building '/nix/store/n02bphfalmx76v9ha95qjcq4dzd6b9hr-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 15621 0 --:--:-- --:--:-- --:--:-- 15621