Skip to content

Commit 206cb95

Browse files
mattam82mattam82
authored
Merge pull request rocq-prover#3376 from mattam82/move-metacoq-1.3.4
Move metacoq 1.3.4+9.0 to released
2 parents 9eb338c + fc22496 commit 206cb95

File tree

12 files changed

+0
-0
lines changed
  • released/packages
    • coq-metacoq/coq-metacoq.1.3.4+9.0
    • coq-metacoq-common/coq-metacoq-common.1.3.4+9.0
    • coq-metacoq-erasure/coq-metacoq-erasure.1.3.4+9.0
    • coq-metacoq-erasure-plugin/coq-metacoq-erasure-plugin.1.3.4+9.0
    • coq-metacoq-pcuic/coq-metacoq-pcuic.1.3.4+9.0
    • coq-metacoq-quotation/coq-metacoq-quotation.1.3.4+9.0
    • coq-metacoq-safechecker/coq-metacoq-safechecker.1.3.4+9.0
    • coq-metacoq-safechecker-plugin/coq-metacoq-safechecker-plugin.1.3.4+9.0
    • coq-metacoq-template/coq-metacoq-template.1.3.4+9.0
    • coq-metacoq-template-pcuic/coq-metacoq-template-pcuic.1.3.4+9.0
    • coq-metacoq-translations/coq-metacoq-translations.1.3.4+9.0
    • coq-metacoq-utils/coq-metacoq-utils.1.3.4+9.0

12 files changed

+0
-0
lines changed

‎extra-dev/packages/coq-metacoq-common/coq-metacoq-common.1.3.4+9.0/opam renamed to ‎released/packages/coq-metacoq-common/coq-metacoq-common.1.3.4+9.0/opam

File renamed without changes.

‎extra-dev/packages/coq-metacoq-erasure-plugin/coq-metacoq-erasure-plugin.1.3.4+9.0/opam renamed to ‎released/packages/coq-metacoq-erasure-plugin/coq-metacoq-erasure-plugin.1.3.4+9.0/opam

File renamed without changes.

‎extra-dev/packages/coq-metacoq-erasure/coq-metacoq-erasure.1.3.4+9.0/opam renamed to ‎released/packages/coq-metacoq-erasure/coq-metacoq-erasure.1.3.4+9.0/opam

File renamed without changes.

‎extra-dev/packages/coq-metacoq-pcuic/coq-metacoq-pcuic.1.3.4+9.0/opam renamed to ‎released/packages/coq-metacoq-pcuic/coq-metacoq-pcuic.1.3.4+9.0/opam

File renamed without changes.

‎extra-dev/packages/coq-metacoq-quotation/coq-metacoq-quotation.1.3.4+9.0/opam renamed to ‎released/packages/coq-metacoq-quotation/coq-metacoq-quotation.1.3.4+9.0/opam

File renamed without changes.

‎extra-dev/packages/coq-metacoq-safechecker-plugin/coq-metacoq-safechecker-plugin.1.3.4+9.0/opam renamed to ‎released/packages/coq-metacoq-safechecker-plugin/coq-metacoq-safechecker-plugin.1.3.4+9.0/opam

File renamed without changes.

‎extra-dev/packages/coq-metacoq-safechecker/coq-metacoq-safechecker.1.3.4+9.0/opam renamed to ‎released/packages/coq-metacoq-safechecker/coq-metacoq-safechecker.1.3.4+9.0/opam

File renamed without changes.

‎extra-dev/packages/coq-metacoq-template-pcuic/coq-metacoq-template-pcuic.1.3.4+9.0/opam renamed to ‎released/packages/coq-metacoq-template-pcuic/coq-metacoq-template-pcuic.1.3.4+9.0/opam

File renamed without changes.

‎extra-dev/packages/coq-metacoq-template/coq-metacoq-template.1.3.4+9.0/opam renamed to ‎released/packages/coq-metacoq-template/coq-metacoq-template.1.3.4+9.0/opam

File renamed without changes.

‎extra-dev/packages/coq-metacoq-translations/coq-metacoq-translations.1.3.4+9.0/opam renamed to ‎released/packages/coq-metacoq-translations/coq-metacoq-translations.1.3.4+9.0/opam

File renamed without changes.

‎extra-dev/packages/coq-metacoq-utils/coq-metacoq-utils.1.3.4+9.0/opam renamed to ‎released/packages/coq-metacoq-utils/coq-metacoq-utils.1.3.4+9.0/opam

File renamed without changes.

‎extra-dev/packages/coq-metacoq/coq-metacoq.1.3.4+9.0/opam renamed to ‎released/packages/coq-metacoq/coq-metacoq.1.3.4+9.0/opam

File renamed without changes.

0 commit comments

Comments
 (0)