From a47a10a5dd2a229ab31ea0b6362b99842cdb92e9 Mon Sep 17 00:00:00 2001 From: Rijnard van Tonder Date: Wed, 7 Apr 2021 21:50:00 -0700 Subject: [PATCH] bump dune version --- comby-kernel.opam | 2 +- comby.opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/comby-kernel.opam b/comby-kernel.opam index 1806d7fb..5570ca54 100644 --- a/comby-kernel.opam +++ b/comby-kernel.opam @@ -18,7 +18,7 @@ build: [ ] ] depends: [ - "dune" {>= "2.7.0"} + "dune" {>= "2.8.0"} "ocaml" {>= "4.08.1"} "angstrom" {>= "0.15.0"} "core_kernel" diff --git a/comby.opam b/comby.opam index 2a666adb..48e450b5 100644 --- a/comby.opam +++ b/comby.opam @@ -18,7 +18,7 @@ build: [ ] ] depends: [ - "dune" {>= "2.7.0"} + "dune" {>= "2.8.0"} "ocaml" {>= "4.08.1"} "conf-autoconf" "conf-gmp"