Update released/packages/coq-mtac2/coq-mtac2.1.4+8.18/opam

coq · Nov 1, 2023 · ea97cf1 · ea97cf1
1 parent f7cf157
commit ea97cf1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/released/packages/coq-mtac2/coq-mtac2.1.4+8.18/opam b/released/packages/coq-mtac2/coq-mtac2.1.4+8.18/opam
@@ -13,7 +13,6 @@ build: [
 install: [
   [make "install"]
 ]
-remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Mtac2"]
 depends: [
   "coq" {>= "8.18" & < "8.19"}
   "coq-unicoq" {>= "1.5" & < "2~"}