Commit 7f5679dc authored by Armaël Guéneau's avatar Armaël Guéneau

opam file: fix the version constraint on coq-tlc

parent 0a94e6be
......@@ -15,5 +15,5 @@ depends: [
"ocamlbuild" {build}
"pprint"
"coq" {>= "8.6"}
"coq-tlc" {>= "20161010"}
"coq-tlc" {>= "20171206"}
]
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