From 111c0c5c3c6fadb8e26385364ec6aa31a99ff2d3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Mon, 20 Jun 2022 13:37:06 +0200
Subject: [PATCH] Fix dolmen version
---
colibrics.opam | 6 +++---
dune-project | 6 +++---
2 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/colibrics.opam b/colibrics.opam
index c66fe447a..1d6645128 100644
--- a/colibrics.opam
+++ b/colibrics.opam
@@ -9,9 +9,9 @@ homepage: "https://colibri.frama-c.com"
bug-reports: "https://git.frama-c.com/pub/colibrics/issues"
depends: [
"ppx_deriving_yojson" {>= "3.6.1"}
- "dolmen" {>= "0.5~dev"}
- "dolmen_type" {>= "0.5~dev"}
- "dolmen_loop" {>= "0.5~dev"}
+ "dolmen" {>= "0.7"}
+ "dolmen_type" {>= "0.7"}
+ "dolmen_loop" {>= "0.7"}
"dune" {>= "3.0"}
"zarith" {>= "1.12"}
"cmdliner" {>= "1.1.1"}
diff --git a/dune-project b/dune-project
index 1b38f3755..dcac8be62 100644
--- a/dune-project
+++ b/dune-project
@@ -19,9 +19,9 @@
(description "The core of Colibrics is formally proved using Why3.")
(depends
("ppx_deriving_yojson" (>= "3.6.1"))
- ("dolmen" (>= "0.5~dev"))
- ("dolmen_type" (>= "0.5~dev"))
- ("dolmen_loop" (>= "0.5~dev"))
+ ("dolmen" (>= "0.7"))
+ ("dolmen_type" (>= "0.7"))
+ ("dolmen_loop" (>= "0.7"))
"dune"
("zarith" (>= "1.12"))
("cmdliner" (>= 1.1.1))
--
GitLab