Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / ocaml-dune
Commits: 654d8b6e by Stéphane Glondu at 2026-05-28T03:55:47+02:00 Fix build on hurd - - - - - 021f07b5 by Stéphane Glondu at 2026-05-28T03:56:01+02:00 Update changelog and prepare upload to unstable - - - - - 3 changed files: - debian/changelog - + debian/patches/0001-Fix-build-on-hurd.patch - + debian/patches/series Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,9 @@ +ocaml-dune (3.23.1-2) unstable; urgency=medium + + * Fix build on hurd + + -- Stéphane Glondu <[email protected]> Thu, 28 May 2026 03:55:54 +0200 + ocaml-dune (3.23.1-1) unstable; urgency=medium * New upstream release ===================================== debian/patches/0001-Fix-build-on-hurd.patch ===================================== @@ -0,0 +1,20 @@ +From: =?utf-8?q?St=C3=A9phane_Glondu?= <[email protected]> +Date: Thu, 28 May 2026 03:55:25 +0200 +Subject: Fix build on hurd + +--- + vendor/ocaml-blake3-mini/dune | 1 + + 1 file changed, 1 insertion(+) + +diff --git a/vendor/ocaml-blake3-mini/dune b/vendor/ocaml-blake3-mini/dune +index 629c17b..a7f6588 100644 +--- a/vendor/ocaml-blake3-mini/dune ++++ b/vendor/ocaml-blake3-mini/dune +@@ -216,6 +216,7 @@ + (= %{system} "linux") + (= %{system} "macosx") + (= %{system} "beos") ++ (= %{system} "gnu") + (= %{system} "freebsd") + (= %{system} "openbsd") + (= %{system} "netbsd")))) ===================================== debian/patches/series ===================================== @@ -0,0 +1 @@ +0001-Fix-build-on-hurd.patch View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-dune/-/compare/11c53c64ad04f6fc5f017fcd415bd8f627bfdfb1...021f07b56730f2d3b6321faa5943e6dca1d11628 -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-dune/-/compare/11c53c64ad04f6fc5f017fcd415bd8f627bfdfb1...021f07b56730f2d3b6321faa5943e6dca1d11628 You're receiving this email because of your account on salsa.debian.org. Manage all notifications: https://salsa.debian.org/-/profile/notifications | Help: https://salsa.debian.org/help
