From 5c5544d8f3f13b1b086b0cde968ae6eaa07e2303 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Thu, 9 Mar 2023 10:20:27 +0100
Subject: [PATCH] [dune] Settle for why3 1.5.1.
---
caisar.opam | 2 +-
dune-project | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/caisar.opam b/caisar.opam
index 60e13a6..1057e0b 100644
--- a/caisar.opam
+++ b/caisar.opam
@@ -29,7 +29,7 @@ depends: [
"menhirLib" {>= "20210310"}
"ppx_deriving_yojson" {>= "3.6.1"}
"csv" {>= "2.4"}
- "why3" {>= "1.5.0"}
+ "why3" {= "1.5.1"}
"re" {>= "1.10.4"}
"caisar-nnet" {= version}
"caisar-ovo" {= version}
diff --git a/dune-project b/dune-project
index 8d1d7d4..e72f7f9 100644
--- a/dune-project
+++ b/dune-project
@@ -82,7 +82,7 @@
(menhirLib (>= 20210310))
(ppx_deriving_yojson (>= 3.6.1))
(csv (>= 2.4))
- (why3 (>= 1.5.0))
+ (why3 (= 1.5.1))
(re (>= 1.10.4))
(caisar-nnet (= :version))
(caisar-ovo (= :version))
--
GitLab