From b72449ccb15fa0f586fa484eecb140b8e99e122d Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 19 Jun 2019 14:18:00 +0200
Subject: [PATCH] [opam] alt-ergo-free OR alt-ergo version <= 2.2.0
---
opam/opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/opam/opam b/opam/opam
index 84d54529a59..d078e4b6cc5 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" )
+ ( "alt-ergo-free" | "alt-ergo" { <= "2.2.0" } )
"conf-graphviz" { post }
"yojson"
]
--
GitLab