Succeeded
| Evaluation: | #1 |
|---|---|
| Time: | 2023-05-15 15:05Z - 2023-05-15 15:05Z (1.698 s) |
| Package: | agda |
| Maintainers: | |
| out path: | /nix/store/jkjnw5ya3m98g2k70sd7kdh1ssqilkym-ieee754-0.8.0.tar.gz |
| drv path: | /nix/store/w127x9f8c0cb77y51r7vjffi6nxgb9i6-ieee754-0.8.0.tar.gz.drv |
| Expected hash: | sha256 0e2dff9c37f59acf5c64f978ec320005e9830f276f9f314e4bfed3f482289ad1 |
| urls: | mirror://hackage/ieee754-0.8.0.tar.gz |
Partial build log
this derivation will be built: /nix/store/zvfw3h5x3y1m0in3mk7hnkr83j74ldvb-ieee754-0.8.0.tar.gz.drv building '/nix/store/7www8jnsrrd9w714w2mp30gziv6s88s0-ieee754-0.8.0.tar.gz.drv'... ieee754> trying https://hackage.haskell.org/package/ieee754-0.8.0.tar.gz ieee754> % Total % Received % Xferd Average Speed Time Time Time Current ieee754> Dload Upload Total Spent Left Speed ieee754> 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 ieee754> 100 17564 0 17564 0 0 13428 0 --:--:-- 0:00:01 --:--:-- 5229k