From 9b5d77990a7dd60078c02bfc75292ab965edf6be Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sacha-=C3=89lie=20Ayoun?= Date: Thu, 3 Apr 2025 16:52:47 +0100 Subject: [PATCH] back to dune 2.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Sacha-Élie Ayoun --- dune-project | 4 +--- linol-eio.opam | 4 ++-- linol-lwt.opam | 4 ++-- linol.opam | 4 ++-- 4 files changed, 7 insertions(+), 9 deletions(-) diff --git a/dune-project b/dune-project index 82e6e252..813936c6 100644 --- a/dune-project +++ b/dune-project @@ -1,6 +1,4 @@ -(lang dune 3.0) - -(using cinaps 1.0) +(lang dune 2.0) ;(implicit_transitive_deps false) diff --git a/linol-eio.opam b/linol-eio.opam index 81c5f9c7..22898f62 100644 --- a/linol-eio.opam +++ b/linol-eio.opam @@ -8,7 +8,7 @@ license: "MIT" homepage: "https://github.com/c-cube/linol" bug-reports: "https://github.com/c-cube/linol/issues" depends: [ - "dune" {>= "3.0"} + "dune" {>= "2.0"} "yojson" {>= "1.6"} "linol" {= version} "base-unix" @@ -17,7 +17,7 @@ depends: [ "odoc" {with-doc} ] build: [ - ["dune" "subst"] {dev} + ["dune" "subst"] {pinned} [ "dune" "build" diff --git a/linol-lwt.opam b/linol-lwt.opam index 84039de7..cf2cceab 100644 --- a/linol-lwt.opam +++ b/linol-lwt.opam @@ -8,7 +8,7 @@ license: "MIT" homepage: "https://github.com/c-cube/linol" bug-reports: "https://github.com/c-cube/linol/issues" depends: [ - "dune" {>= "3.0"} + "dune" {>= "2.0"} "yojson" {>= "1.6"} "linol" {= version} "base-unix" @@ -16,7 +16,7 @@ depends: [ "odoc" {with-doc} ] build: [ - ["dune" "subst"] {dev} + ["dune" "subst"] {pinned} [ "dune" "build" diff --git a/linol.opam b/linol.opam index 29e8142d..5579adc1 100644 --- a/linol.opam +++ b/linol.opam @@ -8,7 +8,7 @@ license: "MIT" homepage: "https://github.com/c-cube/linol" bug-reports: "https://github.com/c-cube/linol/issues" depends: [ - "dune" {>= "3.0"} + "dune" {>= "2.0"} "yojson" {>= "1.6"} "logs" "trace" {>= "0.4"} @@ -18,7 +18,7 @@ depends: [ "ppx_yojson_conv_lib" {>= "v0.14"} ] build: [ - ["dune" "subst"] {dev} + ["dune" "subst"] {pinned} [ "dune" "build"