From d733b0f9a6190014e3a320c3c5b68b54acc379cf Mon Sep 17 00:00:00 2001
From: Aymeric Varasse <aymeric.varasse@cea.fr>
Date: Mon, 11 Dec 2023 15:04:23 +0100
Subject: [PATCH] [deps] Pin version of Why3
---
caisar.opam | 2 +-
dune-project | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/caisar.opam b/caisar.opam
index 98018a4..95e3d04 100644
--- a/caisar.opam
+++ b/caisar.opam
@@ -27,7 +27,7 @@ depends: [
"yojson" {>= "1.7.0"}
"menhirLib" {>= "20210310"}
"csv" {>= "2.4"}
- "why3" {>= "1.6.0"}
+ "why3" {= "1.6.0"}
"re" {>= "1.10.4"}
"fpath" {>= "0.7.3"}
"yaml" {>= "3.1.0"}
diff --git a/dune-project b/dune-project
index 1c4f860..69a82ea 100644
--- a/dune-project
+++ b/dune-project
@@ -35,7 +35,7 @@
(yojson (>= 1.7.0))
(menhirLib (>= 20210310))
(csv (>= 2.4))
- (why3 (>= 1.6.0))
+ (why3 (= 1.6.0))
(re (>= 1.10.4))
(fpath (>= 0.7.3))
(yaml (>= 3.1.0))
--
GitLab