From 257e799748750d61d1c72151025a9af2e3f7c1e8 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Wed, 13 May 2020 17:23:19 +0200
Subject: [PATCH] [opam] enforce compatible why3 versions
---
opam/opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/opam/opam b/opam/opam
index 59c2ae9d96f..785568e6bf3 100644
--- a/opam/opam
+++ b/opam/opam
@@ -100,7 +100,7 @@ depends: [
( "alt-ergo-free" | "alt-ergo" )
"conf-graphviz" { post }
"yojson"
- "why3" { >= "1.2.0" }
+ "why3" { >= "1.3.1" }
]
depopts: [
--
GitLab