Skip to content
Snippets Groups Projects
Commit 257e7997 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[opam] enforce compatible why3 versions

parent 0f83d318
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 @ 257e7997
...@@ -100,7 +100,7 @@ depends: [ ...@@ -100,7 +100,7 @@ depends: [
( "alt-ergo-free" | "alt-ergo" ) ( "alt-ergo-free" | "alt-ergo" )
"conf-graphviz" { post } "conf-graphviz" { post }
"yojson" "yojson"
"why3" { >= "1.2.0" } "why3" { >= "1.3.1" }
] ]
depopts: [ depopts: [
......
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