From 8ba70159f28ae7500dcf9db883194d330626d59c Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Sun, 28 Nov 2021 11:24:53 +0100
Subject: Use dune 2.7

---
 debian/patches/0001-Use-dune-2.7.patch | 18 ++++++++++++++++++
 debian/patches/series                  |  1 +
 2 files changed, 19 insertions(+)
 create mode 100644 debian/patches/0001-Use-dune-2.7.patch
 create mode 100644 debian/patches/series

diff --git a/debian/patches/0001-Use-dune-2.7.patch b/debian/patches/0001-Use-dune-2.7.patch
new file mode 100644
index 0000000..27dcf2f
--- /dev/null
+++ b/debian/patches/0001-Use-dune-2.7.patch
@@ -0,0 +1,18 @@
+From: Stephane Glondu <steph@glondu.net>
+Date: Sun, 28 Nov 2021 11:24:39 +0100
+Subject: Use dune 2.7
+
+---
+ dune-project | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/dune-project b/dune-project
+index 96d57ee..8547e53 100644
+--- a/dune-project
++++ b/dune-project
+@@ -1,4 +1,4 @@
+-(lang dune 2.8)
++(lang dune 2.7)
+ 
+ (name ocaml-compiler-libs)
+ (version v0.12.4)
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..65543a3
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+0001-Use-dune-2.7.patch
-- 
cgit v1.2.3