From 4be6c8168b5aa71c470c440a9da69fd31fb12378 Mon Sep 17 00:00:00 2001 From: =?utf8?q?St=C3=A9phane=20Glondu?= Date: Sat, 11 Jan 2025 13:05:06 +0100 Subject: [PATCH] New upstream release --- debian/changelog | 6 ++++++ debian/ocamlvars.mk | 2 +- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index e7123ee8..4f513e0f 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +ocaml (5.3.0-1~exp1) UNRELEASED; urgency=medium + + * New upstream release + + -- Stéphane Glondu Sat, 11 Jan 2025 13:05:01 +0100 + ocaml (5.2.0-3) unstable; urgency=medium * Import upstream patch to fix coq-elpi ppc64el failure (Closes: diff --git a/debian/ocamlvars.mk b/debian/ocamlvars.mk index 0b94b096..4a9f674f 100644 --- a/debian/ocamlvars.mk +++ b/debian/ocamlvars.mk @@ -1,6 +1,6 @@ include /usr/share/dpkg/architecture.mk -OCAMLMAJOR := 5.2 +OCAMLMAJOR := 5.3 OCAMLMINOR := 0 OCAML_ABI := $(OCAMLMAJOR).$(OCAMLMINOR) -- 2.30.2