Skip to content
Snippets Groups Projects
Commit d733b0f9 authored by Aymeric Varasse's avatar Aymeric Varasse :innocent:
Browse files

[deps] Pin version of Why3

parent 001ed395
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
caisar.opam
+ 1
− 1
View file @ d733b0f9
...@@ -27,7 +27,7 @@ depends: [ ...@@ -27,7 +27,7 @@ depends: [
"yojson" {>= "1.7.0"} "yojson" {>= "1.7.0"}
"menhirLib" {>= "20210310"} "menhirLib" {>= "20210310"}
"csv" {>= "2.4"} "csv" {>= "2.4"}
"why3" {>= "1.6.0"} "why3" {= "1.6.0"}
"re" {>= "1.10.4"} "re" {>= "1.10.4"}
"fpath" {>= "0.7.3"} "fpath" {>= "0.7.3"}
"yaml" {>= "3.1.0"} "yaml" {>= "3.1.0"}
......
dune-project
+ 1
− 1
View file @ d733b0f9
...@@ -35,7 +35,7 @@ ...@@ -35,7 +35,7 @@
(yojson (>= 1.7.0)) (yojson (>= 1.7.0))
(menhirLib (>= 20210310)) (menhirLib (>= 20210310))
(csv (>= 2.4)) (csv (>= 2.4))
(why3 (>= 1.6.0)) (why3 (= 1.6.0))
(re (>= 1.10.4)) (re (>= 1.10.4))
(fpath (>= 0.7.3)) (fpath (>= 0.7.3))
(yaml (>= 3.1.0)) (yaml (>= 3.1.0))
......
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