Succeeded
| Evaluation: | #1 |
|---|---|
| Time: | 2023-05-15 14:05Z - 2023-05-15 14:05Z (1.491 s) |
| Package: | agda |
| Maintainers: | |
| out path: | /nix/store/ck8dprqzcp3xl30bca4izwh0dq5zamic-vector-hashtables-0.1.1.2.tar.gz |
| drv path: | /nix/store/4jsp6c6jcxngfzlh243zdrjhg7qw0hyp-vector-hashtables-0.1.1.2.tar.gz.drv |
| Expected hash: | sha256 a2f9f9a2e34d20e1e1fcab2f29d59912dd8abd26beff90f878a5868793df3243 |
| urls: | mirror://hackage/vector-hashtables-0.1.1.2.tar.gz |
Partial build log
this derivation will be built: /nix/store/vf846glj9n4a20j50c1gw04zxb1865fg-vector-hashtables-0.1.1.2.tar.gz.drv building '/nix/store/ndpyp9h7kphvy0yvg4izjh4cf9zn2c8k-vector-hashtables-0.1.1.2.tar.gz.drv'... vector-hashtables> error checking the existence of file:///dev/null/sha256/0hrjvy9qg1m5g3w91zxy4syqmp8jk7ajjbxbzkhy282dwfigkyd2: vector-hashtables> curl: (37) Couldn't open file /dev/null/sha256/0hrjvy9qg1m5g3w91zxy4syqmp8jk7ajjbxbzkhy282dwfigkyd2 vector-hashtables> trying https://hackage.haskell.org/package/vector-hashtables-0.1.1.2.tar.gz vector-hashtables> % Total % Received % Xferd Average Speed Time Time Time Current vector-hashtables> Dload Upload Total Spent Left Speed vector-hashtables> 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 vector-hashtables> 100 18770 0 18770 0 0 15124 0 --:--:-- 0:00:01 --:--:-- 6110k