diff --git a/extra-dev/packages/coq-metacoq-common/coq-metacoq-common.1.3.4+9.0/opam b/released/packages/coq-metacoq-common/coq-metacoq-common.1.3.4+9.0/opam
similarity index 100%
rename from extra-dev/packages/coq-metacoq-common/coq-metacoq-common.1.3.4+9.0/opam
rename to released/packages/coq-metacoq-common/coq-metacoq-common.1.3.4+9.0/opam
diff --git a/extra-dev/packages/coq-metacoq-erasure-plugin/coq-metacoq-erasure-plugin.1.3.4+9.0/opam b/released/packages/coq-metacoq-erasure-plugin/coq-metacoq-erasure-plugin.1.3.4+9.0/opam
similarity index 100%
rename from extra-dev/packages/coq-metacoq-erasure-plugin/coq-metacoq-erasure-plugin.1.3.4+9.0/opam
rename to released/packages/coq-metacoq-erasure-plugin/coq-metacoq-erasure-plugin.1.3.4+9.0/opam
diff --git a/extra-dev/packages/coq-metacoq-erasure/coq-metacoq-erasure.1.3.4+9.0/opam b/released/packages/coq-metacoq-erasure/coq-metacoq-erasure.1.3.4+9.0/opam
similarity index 100%
rename from extra-dev/packages/coq-metacoq-erasure/coq-metacoq-erasure.1.3.4+9.0/opam
rename to released/packages/coq-metacoq-erasure/coq-metacoq-erasure.1.3.4+9.0/opam
diff --git a/extra-dev/packages/coq-metacoq-pcuic/coq-metacoq-pcuic.1.3.4+9.0/opam b/released/packages/coq-metacoq-pcuic/coq-metacoq-pcuic.1.3.4+9.0/opam
similarity index 100%
rename from extra-dev/packages/coq-metacoq-pcuic/coq-metacoq-pcuic.1.3.4+9.0/opam
rename to released/packages/coq-metacoq-pcuic/coq-metacoq-pcuic.1.3.4+9.0/opam
diff --git a/extra-dev/packages/coq-metacoq-quotation/coq-metacoq-quotation.1.3.4+9.0/opam b/released/packages/coq-metacoq-quotation/coq-metacoq-quotation.1.3.4+9.0/opam
similarity index 100%
rename from extra-dev/packages/coq-metacoq-quotation/coq-metacoq-quotation.1.3.4+9.0/opam
rename to released/packages/coq-metacoq-quotation/coq-metacoq-quotation.1.3.4+9.0/opam
diff --git a/extra-dev/packages/coq-metacoq-safechecker-plugin/coq-metacoq-safechecker-plugin.1.3.4+9.0/opam b/released/packages/coq-metacoq-safechecker-plugin/coq-metacoq-safechecker-plugin.1.3.4+9.0/opam
similarity index 100%
rename from extra-dev/packages/coq-metacoq-safechecker-plugin/coq-metacoq-safechecker-plugin.1.3.4+9.0/opam
rename to released/packages/coq-metacoq-safechecker-plugin/coq-metacoq-safechecker-plugin.1.3.4+9.0/opam
diff --git a/extra-dev/packages/coq-metacoq-safechecker/coq-metacoq-safechecker.1.3.4+9.0/opam b/released/packages/coq-metacoq-safechecker/coq-metacoq-safechecker.1.3.4+9.0/opam
similarity index 100%
rename from extra-dev/packages/coq-metacoq-safechecker/coq-metacoq-safechecker.1.3.4+9.0/opam
rename to released/packages/coq-metacoq-safechecker/coq-metacoq-safechecker.1.3.4+9.0/opam
diff --git a/extra-dev/packages/coq-metacoq-template-pcuic/coq-metacoq-template-pcuic.1.3.4+9.0/opam b/released/packages/coq-metacoq-template-pcuic/coq-metacoq-template-pcuic.1.3.4+9.0/opam
similarity index 100%
rename from extra-dev/packages/coq-metacoq-template-pcuic/coq-metacoq-template-pcuic.1.3.4+9.0/opam
rename to released/packages/coq-metacoq-template-pcuic/coq-metacoq-template-pcuic.1.3.4+9.0/opam
diff --git a/extra-dev/packages/coq-metacoq-template/coq-metacoq-template.1.3.4+9.0/opam b/released/packages/coq-metacoq-template/coq-metacoq-template.1.3.4+9.0/opam
similarity index 100%
rename from extra-dev/packages/coq-metacoq-template/coq-metacoq-template.1.3.4+9.0/opam
rename to released/packages/coq-metacoq-template/coq-metacoq-template.1.3.4+9.0/opam
diff --git a/extra-dev/packages/coq-metacoq-translations/coq-metacoq-translations.1.3.4+9.0/opam b/released/packages/coq-metacoq-translations/coq-metacoq-translations.1.3.4+9.0/opam
similarity index 100%
rename from extra-dev/packages/coq-metacoq-translations/coq-metacoq-translations.1.3.4+9.0/opam
rename to released/packages/coq-metacoq-translations/coq-metacoq-translations.1.3.4+9.0/opam
diff --git a/extra-dev/packages/coq-metacoq-utils/coq-metacoq-utils.1.3.4+9.0/opam b/released/packages/coq-metacoq-utils/coq-metacoq-utils.1.3.4+9.0/opam
similarity index 100%
rename from extra-dev/packages/coq-metacoq-utils/coq-metacoq-utils.1.3.4+9.0/opam
rename to released/packages/coq-metacoq-utils/coq-metacoq-utils.1.3.4+9.0/opam
diff --git a/extra-dev/packages/coq-metacoq/coq-metacoq.1.3.4+9.0/opam b/released/packages/coq-metacoq/coq-metacoq.1.3.4+9.0/opam
similarity index 100%
rename from extra-dev/packages/coq-metacoq/coq-metacoq.1.3.4+9.0/opam
rename to released/packages/coq-metacoq/coq-metacoq.1.3.4+9.0/opam