From: Stéphane Glondu <glondu@debian.org>
Date: Thu, 29 Aug 2024 14:05:05 +0000 (+0200)
Subject: Update changelog
X-Git-Tag: archive/raspbian/5.2.0-3+rpi1^2~13
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=27d7d11c9e35a7f9e25cb1c003b949688e705e66;p=ocaml.git

Update changelog
---

diff --git a/debian/changelog b/debian/changelog
index 80780147..0ec477db 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+ocaml (5.2.0-3) UNRELEASED; urgency=medium
+
+  * Import upstream patch to fix coq-elpi ppc64el failure (Closes:
+    #1078549)
+
+ -- Stéphane Glondu <glondu@debian.org>  Thu, 29 Aug 2024 16:04:18 +0200
+
 ocaml (5.2.0-2) unstable; urgency=medium
 
   * Add ocaml-base to Build-Conflicts