From: Stéphane Glondu <glondu@debian.org>
Date: Sat, 11 Jan 2025 12:05:06 +0000 (+0100)
Subject: New upstream release
X-Git-Tag: archive/raspbian/5.3.0-2+rpi1^2~19
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=4be6c8168b5aa71c470c440a9da69fd31fb12378;p=ocaml.git

New upstream release
---

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 <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 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)