From e402fc8b50dc56a37a5da1858dba6c543304609a Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 26 Aug 2019 14:17:02 +0200
Subject: [PATCH] [opam] Remove constraint on the version of Alt-Ergo
---
opam/opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/opam/opam b/opam/opam
index 0c0a81eaa9a..3b6424cf61d 100644
--- a/opam/opam
+++ b/opam/opam
@@ -94,7 +94,7 @@ depends: [
( ( "lablgtk" { >= "2.18.2" } & "conf-gnomecanvas" )
| ( "lablgtk3" { >= "3.0.beta4" & os!="macos" } & "lablgtk3-sourceview3" ))
"conf-gtksourceview"
- ( "alt-ergo-free" | "alt-ergo" { <= "2.2.0" } )
+ ( "alt-ergo-free" | "alt-ergo" )
"conf-graphviz" { post }
"yojson"
]
--
GitLab