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

opam file: add coq-tlc as a dependency

parent 1ad5b175
......@@ -20,4 +20,5 @@ depends: [
"ocamlbuild" {build}
"pprint"
"coq" {= "8.6"}
"coq-tlc" {>= "20161010"}
]
\ No newline at end of file
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