Skip to content
Snippets Groups Projects
Commit 3ed04f27 authored by Julien Girard-Satabin's avatar Julien Girard-Satabin
Browse files

[deps] Fix Why3 max version

parent f2029ea5
No related branches found
No related tags found
No related merge requests found
...@@ -23,7 +23,7 @@ depends: [ ...@@ -23,7 +23,7 @@ depends: [
"yojson" {>= "1.7.0"} "yojson" {>= "1.7.0"}
"menhirLib" {>= "20210310"} "menhirLib" {>= "20210310"}
"csv" {>= "2.4"} "csv" {>= "2.4"}
"why3" {>= "1.7.0"} "why3" {>= "1.7.0" & < "1.8.0"}
"re" {>= "1.12.0"} "re" {>= "1.12.0"}
"fpath" {>= "0.7.3"} "fpath" {>= "0.7.3"}
"yaml" {>= "3.1.0"} "yaml" {>= "3.1.0"}
......
...@@ -33,7 +33,7 @@ ...@@ -33,7 +33,7 @@
(yojson (>= 1.7.0)) (yojson (>= 1.7.0))
(menhirLib (>= 20210310)) (menhirLib (>= 20210310))
(csv (>= 2.4)) (csv (>= 2.4))
(why3 (>= 1.7.0)) (why3 (and (>= 1.7.0) (< 1.8.0)))
(re (>= 1.12.0)) (re (>= 1.12.0))
(fpath (>= 0.7.3)) (fpath (>= 0.7.3))
(yaml (>= 3.1.0)) (yaml (>= 3.1.0))
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment