Succeeded
| Evaluation: | #1 |
|---|---|
| Time: | 2023-05-15 15:05Z - 2023-05-15 15:05Z (0.771 s) |
| Package: | agda |
| Maintainers: | |
| out path: | /nix/store/kfmnlm2pdx3yigms9zdvk91pf1wdbmn2-Agda-2.6.3-r1.cabal |
| drv path: | /nix/store/d9bblz064rsms4mxy04425vykkia5x2l-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/f0876kfhddhayni7g09b6xnghkpvmzmr-Agda-2.6.3-r1.cabal.drv building '/nix/store/jispvx2hqddp2zjqc2ws8cd6jib9bwyp-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 81317 0 --:--:-- --:--:-- --:--:-- 81298