Succeeded
| Evaluation: | #2 |
|---|---|
| Time: | 2023-06-05 18:06Z - 2023-06-05 18:06Z (1.068 s) |
| Package: | agda |
| Maintainers: | abbradar iblech turion |
| out path: | /nix/store/kfmnlm2pdx3yigms9zdvk91pf1wdbmn2-Agda-2.6.3-r1.cabal |
| drv path: | /nix/store/s5xqzcld67rkpz3x7z4kxskdrgmjsskw-Agda-2.6.3-r1.cabal.drv |
| Expected hash: | sha256 4c9895292531e7e9a15f087dec2fe45ecf63d455f253374c1241c53409d20dd0 |
| urls: | mirror://hackage/Agda-2.6.3/revision/1.cabal |
Partial build log
this derivation will be built: /nix/store/wx3b4z87h42h2mf2ghnkv7ap5cyy5arc-Agda-2.6.3-r1.cabal.drv building '/nix/store/wx3b4z87h42h2mf2ghnkv7ap5cyy5arc-Agda-2.6.3-r1.cabal.drv'... Agda> trying https://hackage.haskell.org/package/Agda-2.6.3/revision/1.cabal Agda> % Total % Received % Xferd Average Speed Time Time Time Current Agda> Dload Upload Total Spent Left Speed Agda> 100 36747 0 36747 0 0 53585 0 --:--:-- --:--:-- --:--:-- 53567