Succeeded
| Evaluation: | #2 |
|---|---|
| Time: | 2023-06-05 17:06Z - 2023-06-05 17:06Z (0.917 s) |
| Package: | agda |
| Maintainers: | abbradar iblech turion |
| out path: | /nix/store/qichndd5fafjsljhdlypvbamwh3h9q4h-STMonadTrans-0.4.7.tar.gz |
| drv path: | /nix/store/05ipidqph4kvygn1q93h7fx9ghsv6p25-STMonadTrans-0.4.7.tar.gz.drv |
| Expected hash: | sha256 adc49c9cc36d5a47d15cb8063924d9ed7be5a8e2081a4dd7cfa6ffc5117103f5 |
| urls: | mirror://hackage/STMonadTrans-0.4.7.tar.gz |
Partial build log
this derivation will be built: /nix/store/wwgrcwqz6d5b3zln9gggh57vqjad0vdd-STMonadTrans-0.4.7.tar.gz.drv building '/nix/store/wwgrcwqz6d5b3zln9gggh57vqjad0vdd-STMonadTrans-0.4.7.tar.gz.drv'... STMonadTrans> trying https://hackage.haskell.org/package/STMonadTrans-0.4.7.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 7342 100 7342 0 0 12878 0 --:--:-- --:--:-- --:--:-- 12878