Succeeded
| Evaluation: | #1 |
|---|---|
| Time: | 2023-05-15 15:05Z - 2023-05-15 15:05Z (0.988 s) |
| Package: | agda |
| Maintainers: | |
| out path: | /nix/store/kzj1nxdfwvawjvyp269m0mlpgjc8zl2v-STMonadTrans-0.4.6-r1.cabal |
| drv path: | /nix/store/w01qc2pbpm81dwgmnglb6r0lpiml6cm8-STMonadTrans-0.4.6-r1.cabal.drv |
| Expected hash: | sha256 6cf50537070f6ce559b4bae28b2a167a85c2379d9710d54afb22c7c8dd785b13 |
| urls: | mirror://hackage/STMonadTrans-0.4.6/revision/1.cabal |
Partial build log
this derivation will be built: /nix/store/fp335n63df8plva00v7q7wps02sgzghq-STMonadTrans-0.4.6-r1.cabal.drv building '/nix/store/2l83z7576pkx91mafcxm9x42hkncvhsg-STMonadTrans-0.4.6-r1.cabal.drv'... STMonadTrans> trying https://hackage.haskell.org/package/STMonadTrans-0.4.6/revision/1.cabal STMonadTrans> % Total % Received % Xferd Average Speed Time Time Time Current STMonadTrans> Dload Upload Total Spent Left Speed STMonadTrans> 100 2458 0 2458 0 0 4263 0 --:--:-- --:--:-- --:--:-- 4259