Succeeded
| Evaluation: | #1 |
|---|---|
| Time: | 2023-05-15 16:05Z - 2023-05-15 16:05Z (0.886 s) |
| Package: | agda-pkg |
| Maintainers: | |
| out path: | /nix/store/qwalcg7nmhd8i4xjf6l9cj2vjb4np7xk-agda-pkg-0.1.51.tar.gz |
| drv path: | /nix/store/y8s9217sch89a93bd0mi8hpc1dsfclqg-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/fbhf3cspkxr1pkf39c85b5ywkfrhp2cy-agda-pkg-0.1.51.tar.gz.drv building '/nix/store/23l96a50vndhzrnbbx1k82ywl23y2vfk-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 35807 0 --:--:-- --:--:-- --:--:-- 35807