Build failed
| Evaluation: | #1 |
|---|---|
| Time: | 2023-05-21 08:05Z - 2023-05-21 08:05Z (1.282 s) |
| Package: | hol_light |
| Maintainers: | |
| out path: | /nix/store/dki5y2hx61zkjlnigyla265gqbdvz7sp-0004-Fix-compilation-with-camlp5-7.11.patch |
| drv path: | /nix/store/1b67qdfklykxavigfkr33pjrjagmn8lm-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/wdgm9qchhhqv1bk89gwrwr8pmxzc17l7-0004-Fix-compilation-with-camlp5-7.11.patch.drv building '/nix/store/5kkjbi791ym43ywaz3j6k9yb20gsqwdj-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/5kkjbi791ym43ywaz3j6k9yb20gsqwdj-0004-Fix-compilation-with-camlp5-7.11.patch.drv' failed with exit code 1 error: