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
index 6e298c050b..d8212db9a6 100644
--- 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~"}