Succeeded
| Evaluation: | #2 |
|---|---|
| Time: | 2023-06-05 18:06Z - 2023-06-05 18:06Z (0.927 s) |
| Package: | agda |
| Maintainers: | abbradar iblech turion |
| out path: | /nix/store/cablxainmp9y6xsmm7sbm89mmvgdiljn-boxes-0.1.5.tar.gz |
| drv path: | /nix/store/kap5jnawrf13cvljkaplfvsypk680alk-boxes-0.1.5.tar.gz.drv |
| Expected hash: | sha256 38e1782e8a458f342a0acbb74af8f55cb120756bc3af7ee7220d955812af56c3 |
| urls: | mirror://hackage/boxes-0.1.5.tar.gz |
Partial build log
this derivation will be built: /nix/store/hv9h6y8hpvvi78972yg7jfcqp4gp41vi-boxes-0.1.5.tar.gz.drv building '/nix/store/hv9h6y8hpvvi78972yg7jfcqp4gp41vi-boxes-0.1.5.tar.gz.drv'... boxes> trying https://hackage.haskell.org/package/boxes-0.1.5.tar.gz boxes> % Total % Received % Xferd Average Speed Time Time Time Current boxes> Dload Upload Total Spent Left Speed boxes> 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 boxes> 100 7598 100 7598 0 0 13510 0 --:--:-- --:--:-- --:--:-- 13510