New upstream release

diff --git a/debian/changelog b/debian/changelog
index e7123ee8704bc4ba5fd73bb2a3768fe66094a919..4f513e0f85563eddfe6be9cd42a3f3dd9db640a3 100644 (file)
--- 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 <glondu@debian.org>  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 0b94b096d1d92771bb96aa9c0e1023b021caa603..4a9f674ffcf5c025398f5b7e87dd692504a693be 100644 (file)
--- 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)