Succeeded
| Evaluation: | #2 |
|---|---|
| Time: | 2023-06-06 09:06Z - 2023-06-06 09:06Z (0.928 s) |
| Package: | agda |
| Maintainers: | abbradar iblech turion |
| out path: | /nix/store/ziw8bm1pxr7lrvrrxm9ynqnyr8px10br-equivalence-0.4.1.tar.gz |
| drv path: | /nix/store/w1171lwdbvmmnlqsv7gac61yb0zvdav8-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/p1zxiyr213679h6kdmgpl2jnda9d9v5q-equivalence-0.4.1.tar.gz.drv building '/nix/store/p1zxiyr213679h6kdmgpl2jnda9d9v5q-equivalence-0.4.1.tar.gz.drv'... 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 16113 0 --:--:-- --:--:-- --:--:-- 16113