Commit ca968110 authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan

Coq-menhirlib is not compatible with Coq 8.6

parent 6dac748f
Pipeline #95726 passed with stages
in 25 seconds
......@@ -15,7 +15,7 @@ install: [
[make "-C" "coq-menhirlib" "install"]
]
depends: [
"coq" { >= "8.6" }
"coq" { >= "8.7" }
]
conflicts: [
"menhir" { != "DATE" }
......
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