Commit 5474d8f5 authored by Armaël Guéneau's avatar Armaël Guéneau

Update the opam file wrt supported coq versions

parent 1f74a730
...@@ -14,6 +14,6 @@ remove: [make "uninstall"] ...@@ -14,6 +14,6 @@ remove: [make "uninstall"]
depends: [ depends: [
"ocamlbuild" {build} "ocamlbuild" {build}
"pprint" "pprint"
"coq" {= "8.6"} "coq" {>= "8.6"}
"coq-tlc" {>= "20161010"} "coq-tlc" {>= "20161010"}
] ]
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