Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / ocaml-dune


Commits:
34e0f8bb by Stéphane Glondu at 2026-07-22T11:02:06+02:00
Fix build on hurd

- - - - -
ef0e3573 by Stéphane Glondu at 2026-07-22T11:02:12+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.24.1-2) unstable; urgency=medium
+
+  * Fix build on hurd
+
+ -- Stéphane Glondu <[email protected]>  Wed, 22 Jul 2026 11:02:10 +0200
+
 ocaml-dune (3.24.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: Wed, 22 Jul 2026 11:01:52 +0200
+Subject: Fix build on hurd
+
+---
+ src/ocaml-blake3-mini/dune | 1 +
+ 1 file changed, 1 insertion(+)
+
+diff --git a/src/ocaml-blake3-mini/dune b/src/ocaml-blake3-mini/dune
+index 629c17b..a7f6588 100644
+--- a/src/ocaml-blake3-mini/dune
++++ b/src/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/5aaa90163b450eefb0769b840fef79da0033badb...ef0e35730a2f4b0a43743fbc13dc7edc74376b9c

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/ocaml-dune/-/compare/5aaa90163b450eefb0769b840fef79da0033badb...ef0e35730a2f4b0a43743fbc13dc7edc74376b9c
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


Reply via email to