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

Fixed Why3 version for correct pinning.

parent aeb70fed
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 @ 51e6bff5
...@@ -20,7 +20,7 @@ depends: [ ...@@ -20,7 +20,7 @@ depends: [
"menhirLib" {>= "20210310"} "menhirLib" {>= "20210310"}
"ppx_deriving_yojson" {>= "3.6.1"} "ppx_deriving_yojson" {>= "3.6.1"}
"csv" {>= "2.4"} "csv" {>= "2.4"}
"why3" {>= "1.4"} "why3" {= "1.4.0"}
"re" "re"
"onnx" "onnx"
"odoc" {with-doc} "odoc" {with-doc}
......
dune-project
+ 1
− 1
View file @ 51e6bff5
...@@ -30,7 +30,7 @@ ...@@ -30,7 +30,7 @@
(menhirLib (>= 20210310)) (menhirLib (>= 20210310))
(ppx_deriving_yojson (>= 3.6.1)) (ppx_deriving_yojson (>= 3.6.1))
(csv (>= 2.4)) (csv (>= 2.4))
(why3 (>= 1.4)) (why3 (= 1.4.0))
re re
onnx onnx
) )
......
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