diff options
| author | Stephane Glondu <steph@glondu.net> | 2021-11-28 11:24:53 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2021-11-28 11:25:06 +0100 |
| commit | 8ba70159f28ae7500dcf9db883194d330626d59c (patch) | |
| tree | 06009ed653f04c28a9fa2588da08d597b3046944 | |
| parent | 9063999bbcfafc5dddd93b13378e7dab73e6db49 (diff) | |
Use dune 2.7
| -rw-r--r-- | debian/patches/0001-Use-dune-2.7.patch | 18 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 19 insertions, 0 deletions
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 |