Succeeded
| Evaluation: | #2 |
|---|---|
| Time: | 2023-06-05 18:06Z - 2023-06-05 18:06Z (0.903 s) |
| Package: | agda |
| Maintainers: | abbradar iblech turion |
| out path: | /nix/store/jkjnw5ya3m98g2k70sd7kdh1ssqilkym-ieee754-0.8.0.tar.gz |
| drv path: | /nix/store/njml658ncq8yj4z6zknkgn38qhpsiaai-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/xcdgziqp0rx7014i5fkhwwcfx8gzm7w5-ieee754-0.8.0.tar.gz.drv building '/nix/store/xcdgziqp0rx7014i5fkhwwcfx8gzm7w5-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 100 17564 0 0 31438 0 --:--:-- --:--:-- --:--:-- 31438