Succeeded
| Evaluation: | #1 |
|---|---|
| Time: | 2023-05-15 15:05Z - 2023-05-15 15:05Z (0.854 s) |
| Package: | agda |
| Maintainers: | |
| out path: | /nix/store/0i2zy3vzv453m4jwlv3k6bpxlb7zv8kx-STMonadTrans-0.4.6.tar.gz |
| drv path: | /nix/store/8d5bn9lqbwhz13pq3jz9m39gsbz7p5iq-STMonadTrans-0.4.6.tar.gz.drv |
| Expected hash: | sha256 cb7a9af72af10ca56a3ce43ed775c9c1c8e1faf159c77f570cc07c0e21807067 |
| urls: | mirror://hackage/STMonadTrans-0.4.6.tar.gz |
Partial build log
this derivation will be built: /nix/store/a51br5a8vpzb8r5fj2lacwp0yb6qqkw0-STMonadTrans-0.4.6.tar.gz.drv building '/nix/store/2cfqn69mc2j0kdycm9gw4wb63ir7y07j-STMonadTrans-0.4.6.tar.gz.drv'... STMonadTrans> error checking the existence of file:///dev/null/sha256/0rvhh0hhwz601ibpzisry7xf3j61r5sxfgp47imaa37i5bvrlynb: STMonadTrans> curl: (37) Couldn't open file /dev/null/sha256/0rvhh0hhwz601ibpzisry7xf3j61r5sxfgp47imaa37i5bvrlynb STMonadTrans> trying https://hackage.haskell.org/package/STMonadTrans-0.4.6.tar.gz STMonadTrans> % Total % Received % Xferd Average Speed Time Time Time Current STMonadTrans> Dload Upload Total Spent Left Speed STMonadTrans> 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 STMonadTrans> 100 7151 100 7151 0 0 11732 0 --:--:-- --:--:-- --:--:-- 11732