Succeeded
| Evaluation: | #1 |
|---|---|
| Time: | 2023-05-15 14:05Z - 2023-05-15 14:05Z (0.834 s) |
| Package: | agda |
| Maintainers: | |
| out path: | /nix/store/ziw8bm1pxr7lrvrrxm9ynqnyr8px10br-equivalence-0.4.1.tar.gz |
| drv path: | /nix/store/6cdx8h00v50kx1ljs8q0mn1h7nqgd4qr-equivalence-0.4.1.tar.gz.drv |
| Expected hash: | sha256 598ad6d9d914f598cea2e65cd92e44348a18380b9334d0d7a1c0a252e9a4008f |
| urls: | mirror://hackage/equivalence-0.4.1.tar.gz |
Partial build log
this derivation will be built: /nix/store/a8yp4n7knpmbjfcnrb0x35zs5yylw3qp-equivalence-0.4.1.tar.gz.drv building '/nix/store/72jq4m97zg3rdicz8l7lanfv1dfmnmx9-equivalence-0.4.1.tar.gz.drv'... equivalence> error checking the existence of file:///dev/null/sha256/13q0lklm58n0l7bx0d4k1cw1i2il8hpdjp76lb79ix8lv7cxd2jr: equivalence> curl: (37) Couldn't open file /dev/null/sha256/13q0lklm58n0l7bx0d4k1cw1i2il8hpdjp76lb79ix8lv7cxd2jr equivalence> trying https://hackage.haskell.org/package/equivalence-0.4.1.tar.gz equivalence> % Total % Received % Xferd Average Speed Time Time Time Current equivalence> Dload Upload Total Spent Left Speed equivalence> 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 equivalence> 100 9310 100 9310 0 0 16020 0 --:--:-- --:--:-- --:--:-- 16020