From fc22496793331abaa4b6deb00b14181908927a27 Mon Sep 17 00:00:00 2001 From: Matthieu Sozeau Date: Tue, 1 Apr 2025 10:34:37 +0200 Subject: [PATCH] Move metacoq 1.3.4+9.0 to released --- .../packages/coq-metacoq-common/coq-metacoq-common.1.3.4+9.0/opam | 0 .../coq-metacoq-erasure-plugin.1.3.4+9.0/opam | 0 .../coq-metacoq-erasure/coq-metacoq-erasure.1.3.4+9.0/opam | 0 .../packages/coq-metacoq-pcuic/coq-metacoq-pcuic.1.3.4+9.0/opam | 0 .../coq-metacoq-quotation/coq-metacoq-quotation.1.3.4+9.0/opam | 0 .../coq-metacoq-safechecker-plugin.1.3.4+9.0/opam | 0 .../coq-metacoq-safechecker.1.3.4+9.0/opam | 0 .../coq-metacoq-template-pcuic.1.3.4+9.0/opam | 0 .../coq-metacoq-template/coq-metacoq-template.1.3.4+9.0/opam | 0 .../coq-metacoq-translations.1.3.4+9.0/opam | 0 .../packages/coq-metacoq-utils/coq-metacoq-utils.1.3.4+9.0/opam | 0 .../packages/coq-metacoq/coq-metacoq.1.3.4+9.0/opam | 0 12 files changed, 0 insertions(+), 0 deletions(-) rename {extra-dev => released}/packages/coq-metacoq-common/coq-metacoq-common.1.3.4+9.0/opam (100%) rename {extra-dev => released}/packages/coq-metacoq-erasure-plugin/coq-metacoq-erasure-plugin.1.3.4+9.0/opam (100%) rename {extra-dev => released}/packages/coq-metacoq-erasure/coq-metacoq-erasure.1.3.4+9.0/opam (100%) rename {extra-dev => released}/packages/coq-metacoq-pcuic/coq-metacoq-pcuic.1.3.4+9.0/opam (100%) rename {extra-dev => released}/packages/coq-metacoq-quotation/coq-metacoq-quotation.1.3.4+9.0/opam (100%) rename {extra-dev => released}/packages/coq-metacoq-safechecker-plugin/coq-metacoq-safechecker-plugin.1.3.4+9.0/opam (100%) rename {extra-dev => released}/packages/coq-metacoq-safechecker/coq-metacoq-safechecker.1.3.4+9.0/opam (100%) rename {extra-dev => released}/packages/coq-metacoq-template-pcuic/coq-metacoq-template-pcuic.1.3.4+9.0/opam (100%) rename {extra-dev => released}/packages/coq-metacoq-template/coq-metacoq-template.1.3.4+9.0/opam (100%) rename {extra-dev => released}/packages/coq-metacoq-translations/coq-metacoq-translations.1.3.4+9.0/opam (100%) rename {extra-dev => released}/packages/coq-metacoq-utils/coq-metacoq-utils.1.3.4+9.0/opam (100%) rename {extra-dev => released}/packages/coq-metacoq/coq-metacoq.1.3.4+9.0/opam (100%) 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