Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / hol-light
Commits: bb13fd77 by Stephane Glondu at 2026-07-04T13:31:39+02:00 Add support for OCaml 5.5 - - - - - 5ade3426 by Stephane Glondu at 2026-07-04T13:32:10+02:00 Update changelog and prepare upload to unstable - - - - - 4 changed files: - debian/changelog - debian/control - + debian/patches/0002-Add-support-for-OCaml-5.5.patch - debian/patches/series Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,10 @@ +hol-light (1:3.1.0+git20260619-2) unstable; urgency=medium + + * Team upload + * Add support for OCaml 5.5 + + -- Stéphane Glondu <[email protected]> Sat, 04 Jul 2026 13:31:48 +0200 + hol-light (1:3.1.0+git20260619-1) unstable; urgency=medium * Team upload ===================================== debian/control ===================================== @@ -8,6 +8,7 @@ Build-Depends: debhelper-compat (= 13), ocaml (>= 5.4), camlp5 (>= 8.02), + libfindlib-ocaml-dev, libnum-ocaml-dev, libcamlp-streams-ocaml-dev, ocaml-findlib, ===================================== debian/patches/0002-Add-support-for-OCaml-5.5.patch ===================================== @@ -0,0 +1,21 @@ +From: Stephane Glondu <[email protected]> +Date: Sat, 4 Jul 2026 13:22:19 +0200 +Subject: Add support for OCaml 5.5 + +--- + pa_j/chooser.sh | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/pa_j/chooser.sh b/pa_j/chooser.sh +index de5c8c8..fa2816f 100755 +--- a/pa_j/chooser.sh ++++ b/pa_j/chooser.sh +@@ -22,7 +22,7 @@ if test ${OCAML_BINARY_VERSION} = "3.0" + then echo "pa_j_${OCAML_VERSION}.ml" + elif test ${CAMLP5_BINARY_VERSION} = "8.04" -o ${CAMLP5_BINARY_VERSION} = "8.05" + then +- if test ${OCAML_BINARY_VERSION} = "5.4" ++ if test ${OCAML_BINARY_VERSION} = "5.4" -o ${OCAML_BINARY_VERSION} = "5.5" + then echo "pa_j_5.4_8.04.00.ml" + else echo "UNKNOWN" + fi ===================================== debian/patches/series ===================================== @@ -1 +1,2 @@ cd-holtest-parallel.patch +0002-Add-support-for-OCaml-5.5.patch View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/compare/9ec51f807fd26e4357ef66ee12a32249f6f01203...5ade3426ef2cc99e2fd45b6beae7bd4631f88ff8 -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/compare/9ec51f807fd26e4357ef66ee12a32249f6f01203...5ade3426ef2cc99e2fd45b6beae7bd4631f88ff8 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
