From 27d7d11c9e35a7f9e25cb1c003b949688e705e66 Mon Sep 17 00:00:00 2001
From: =?utf8?q?St=C3=A9phane=20Glondu?= <glondu@debian.org>
Date: Thu, 29 Aug 2024 16:05:05 +0200
Subject: [PATCH] Update changelog

---
 debian/changelog | 7 +++++++
 1 file changed, 7 insertions(+)

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