opam: fix uninstall

b8ffa59a · Ralf Jung · af37201f · b8ffa59a
Commit b8ffa59a authored Feb 14, 2017 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

opam opam +1 -1

No files found.
--- a/opam
+++ b/opam
@@ -11,7 +11,7 @@ build: [
  [make "-j%{jobs}%"]
 ]
 install: [make "install"]
-remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/coq-stdpp'" ]
+remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/stdpp'" ]
 depends: [
  "coq" { ((>= "8.5.3" & < "8.7~") | (= "dev"))}
 ]