Build failed
| Evaluation: | #2 |
|---|---|
| Time: | 2023-06-08 23:06Z - 2023-06-08 23:06Z (1.398 s) |
| Package: | hol_light |
| Maintainers: | maggesi thoughtpolice vbgl |
| out path: | /nix/store/dki5y2hx61zkjlnigyla265gqbdvz7sp-0004-Fix-compilation-with-camlp5-7.11.patch |
| drv path: | /nix/store/l1k4ygrjkbb5875n31x1rlyhz16qa4kj-0004-Fix-compilation-with-camlp5-7.11.patch.drv |
| Expected hash: | sha256 9945eacfcfa28c9223aab5e810740e292bbd9166f01c797a0c6b8f9957af18a0 |
| urls: | https://salsa.debian.org/ocaml-team/hol-light/-/raw/master/debian/patches/0004-Fix-compilation-with-camlp5-7.11.patch |
Partial build log
this derivation will be built: /nix/store/54sxkgj5val2qsmcnycpjbv2c7a6675g-0004-Fix-compilation-with-camlp5-7.11.patch.drv building '/nix/store/54sxkgj5val2qsmcnycpjbv2c7a6675g-0004-Fix-compilation-with-camlp5-7.11.patch.drv'... 0004-Fix-compilation-with-camlp5> trying https://salsa.debian.org/ocaml-team/hol-light/-/raw/master/debian/patches/0004-Fix-compilation-with-camlp5-7.11.patch 0004-Fix-compilation-with-camlp5> % Total % Received % Xferd Average Speed Time Time Time Current 0004-Fix-compilation-with-camlp5> Dload Upload Total Spent Left Speed 0004-Fix-compilation-with-camlp5> 0 0 0 0 0 0 0 0 --:--:-- 0:00:01 --:--:-- 0 0004-Fix-compilation-with-camlp5> curl: (22) The requested URL returned error: 404 0004-Fix-compilation-with-camlp5> error checking the existence of file:///dev/null/sha256/180qmxbrk3vb1ix7j77hcs8vsar91rs11s5mm8ir5352rz7ylicr: 0004-Fix-compilation-with-camlp5> curl: (37) Couldn't open file /dev/null/sha256/180qmxbrk3vb1ix7j77hcs8vsar91rs11s5mm8ir5352rz7ylicr 0004-Fix-compilation-with-camlp5> error: cannot download 0004-Fix-compilation-with-camlp5-7.11.patch from any mirror error: builder for '/nix/store/54sxkgj5val2qsmcnycpjbv2c7a6675g-0004-Fix-compilation-with-camlp5-7.11.patch.drv' failed with exit code 1