Skip to content
Snippets Groups Projects
Commit e402fc8b authored by Allan Blanchard's avatar Allan Blanchard Committed by David Bühler
Browse files

[opam] Remove constraint on the version of Alt-Ergo

parent b39ea21a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
opam/opam
+ 1
− 1
View file @ e402fc8b
...@@ -94,7 +94,7 @@ depends: [ ...@@ -94,7 +94,7 @@ depends: [
( ( "lablgtk" { >= "2.18.2" } & "conf-gnomecanvas" ) ( ( "lablgtk" { >= "2.18.2" } & "conf-gnomecanvas" )
| ( "lablgtk3" { >= "3.0.beta4" & os!="macos" } & "lablgtk3-sourceview3" )) | ( "lablgtk3" { >= "3.0.beta4" & os!="macos" } & "lablgtk3-sourceview3" ))
"conf-gtksourceview" "conf-gtksourceview"
( "alt-ergo-free" | "alt-ergo" { <= "2.2.0" } ) ( "alt-ergo-free" | "alt-ergo" )
"conf-graphviz" { post } "conf-graphviz" { post }
"yojson" "yojson"
] ]
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment