Succeeded
| Evaluation: | #2 |
|---|---|
| Time: | 2023-06-06 08:06Z - 2023-06-06 08:06Z (0.871 s) |
| Package: | agda |
| Maintainers: | abbradar iblech turion |
| out path: | /nix/store/v7krcinrqr1q5a34657da5ppg0nv9cmq-vector-hashtables-0.1.1.3.tar.gz |
| drv path: | /nix/store/bigqr6zq7qggwzc79n01r2ws73bd1v0j-vector-hashtables-0.1.1.3.tar.gz.drv |
| Expected hash: | sha256 662fc65641871dcbc324db3cf055f2f3482520451a74276b37e307ceb63e2342 |
| urls: | mirror://hackage/vector-hashtables-0.1.1.3.tar.gz |
Partial build log
this derivation will be built: /nix/store/hbklimq2dkda4vmwf3g97gi6gayf00vr-vector-hashtables-0.1.1.3.tar.gz.drv building '/nix/store/hbklimq2dkda4vmwf3g97gi6gayf00vr-vector-hashtables-0.1.1.3.tar.gz.drv'... vector-hashtables> trying https://hackage.haskell.org/package/vector-hashtables-0.1.1.3.tar.gz vector-hashtables> % Total % Received % Xferd Average Speed Time Time Time Current vector-hashtables> Dload Upload Total Spent Left Speed vector-hashtables> 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 vector-hashtables> 100 15718 100 15718 0 0 28875 0 --:--:-- --:--:-- --:--:-- 28875