remove metacoq from opam deps

MevenBertrand · MevenBertrand · commit e3b61397d19d · 2025-01-28T16:15:00.000Z
diff --git a/opam b/opam
@@ -15,8 +15,6 @@ depends: [
   "coq" { >= "8.20" & < "8.21~" }
   "coq-smpl"
   "coq-equations" { >= "1.3" }
-  "coq-autosubst-ocaml" {>= "1.1"}
-  "coq-metacoq-template" {>= "1.3.1"}
 ]
 build: [
   [make]
