Succeeded
| Evaluation: | #2 |
|---|---|
| Time: | 2023-06-05 19:06Z - 2023-06-05 19:06Z (0.643 s) |
| Package: | agda-pkg |
| Maintainers: | alexarice |
| out path: | /nix/store/qwalcg7nmhd8i4xjf6l9cj2vjb4np7xk-agda-pkg-0.1.51.tar.gz |
| drv path: | /nix/store/wdw67g6j8jrhk47mqyhzxxyv429q63n9-agda-pkg-0.1.51.tar.gz.drv |
| Expected hash: | sha256 ee370889a1558caf45930d9f898dbe248048078e1e7e3ee17382bf574dc795f2 |
| urls: | mirror://pypi/a/agda-pkg/agda-pkg-0.1.51.tar.gz |
Partial build log
this derivation will be built: /nix/store/brg2jg75c25hgwf5shr0nj0ky5qz12fr-agda-pkg-0.1.51.tar.gz.drv building '/nix/store/brg2jg75c25hgwf5shr0nj0ky5qz12fr-agda-pkg-0.1.51.tar.gz.drv'... agda-pkg> trying https://files.pythonhosted.org/packages/source/a/agda-pkg/agda-pkg-0.1.51.tar.gz agda-pkg> % Total % Received % Xferd Average Speed Time Time Time Current agda-pkg> Dload Upload Total Spent Left Speed agda-pkg> 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 agda-pkg> 100 23214 100 23214 0 0 83341 0 --:--:-- --:--:-- --:--:-- 83341