Commit 2b431bf1 authored by POTTIER Francois's avatar POTTIER Francois

coq-menhirlib.opam: suppress redundant remove: field.

parent 23d5c2bd
......@@ -14,9 +14,6 @@ build: [
install: [
[make "-C" "coq-menhirlib" "install"]
]
remove: [
[make "-C" "coq-menhirlib" "uninstall"]
]
depends: [
"coq" { >= "8.6" }
"menhir" { = "dev" }
......
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