From 546ed1d8897a75ff7481c134a24c04f93bb6b136 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Mon, 15 Apr 2019 16:48:34 +0200
Subject: [PATCH] [OPAM] allows the use of the package alt-ergo-free as an
alternative to alt-ergo
---
opam/opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/opam/opam b/opam/opam
index 3b5bfd175e4..d8f0366beb9 100644
--- a/opam/opam
+++ b/opam/opam
@@ -92,7 +92,7 @@ depends: [
( ( "lablgtk" { >= "2.18.2" } & "conf-gnomecanvas" )
| ( "lablgtk3" { >= "3.0.beta4" } & "lablgtk3-sourceview3"))
"conf-gtksourceview"
- "alt-ergo"
+ ( "alt-ergo-free" | "alt-ergo" )
"conf-graphviz" { post }
]
--
GitLab