Commit e97facc3 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Mark Coq 8.9 as supported.

parent b000b011
...@@ -43,7 +43,7 @@ depends: [ ...@@ -43,7 +43,7 @@ depends: [
"ocaml" {>= "4.02.3"} "ocaml" {>= "4.02.3"}
"ocamlfind" {build} "ocamlfind" {build}
"why3" "why3"
"coq" {>= "8.5" & < "8.9~"} "coq" {>= "8.5" & < "8.10~"}
] ]
depopts: [ depopts: [
......
Markdown is supported
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