Skip to content

Commit 796adbb

Browse files
mattam82mattam82
authored
Merge pull request #3375 from mattam82/fix-and-clean-metacoq-packages
Fix and clean metacoq packages
2 parents a6dd18b + af525d3 commit 796adbb

File tree

61 files changed

+0
-2637
lines changed
  • released/packages
    • coq-metacoq
      • coq-metacoq.1.0~alpha1+8.8
      • coq-metacoq.1.0~alpha1+8.9
      • coq-metacoq.1.0~alpha2+8.10
      • coq-metacoq.1.0~alpha2+8.11
      • coq-metacoq.1.0~beta1+8.11
      • coq-metacoq.1.0~beta1+8.12
      • coq-metacoq.1.0~beta2+8.11
      • coq-metacoq.1.0~beta2+8.12
      • coq-metacoq.1.0~beta2+8.13
    • coq-metacoq-checker
      • coq-metacoq-checker.1.0~alpha1+8.8
      • coq-metacoq-checker.1.0~alpha1+8.9
      • coq-metacoq-checker.1.0~alpha2+8.10
      • coq-metacoq-checker.1.0~alpha2+8.11
      • coq-metacoq-checker.1.0~beta1+8.11
      • coq-metacoq-checker.1.0~beta1+8.12
    • coq-metacoq-erasure
      • coq-metacoq-erasure.1.0~alpha1+8.8
      • coq-metacoq-erasure.1.0~alpha1+8.9
      • coq-metacoq-erasure.1.0~alpha2+8.10
      • coq-metacoq-erasure.1.0~alpha2+8.11
      • coq-metacoq-erasure.1.0~beta1+8.11
      • coq-metacoq-erasure.1.0~beta1+8.12
      • coq-metacoq-erasure.1.0~beta2+8.11
      • coq-metacoq-erasure.1.0~beta2+8.12
      • coq-metacoq-erasure.1.0~beta2+8.13
    • coq-metacoq-pcuic
      • coq-metacoq-pcuic.1.0~alpha1+8.8
      • coq-metacoq-pcuic.1.0~alpha1+8.9
      • coq-metacoq-pcuic.1.0~alpha2+8.10
      • coq-metacoq-pcuic.1.0~alpha2+8.11
      • coq-metacoq-pcuic.1.0~beta1+8.11
      • coq-metacoq-pcuic.1.0~beta1+8.12
      • coq-metacoq-pcuic.1.0~beta2+8.11
      • coq-metacoq-pcuic.1.0~beta2+8.12
      • coq-metacoq-pcuic.1.0~beta2+8.13
    • coq-metacoq-safechecker
      • coq-metacoq-safechecker.1.0~alpha1+8.8
      • coq-metacoq-safechecker.1.0~alpha1+8.9
      • coq-metacoq-safechecker.1.0~alpha2+8.10
      • coq-metacoq-safechecker.1.0~alpha2+8.11
      • coq-metacoq-safechecker.1.0~beta1+8.11
      • coq-metacoq-safechecker.1.0~beta1+8.12
      • coq-metacoq-safechecker.1.0~beta2+8.11
      • coq-metacoq-safechecker.1.0~beta2+8.12
      • coq-metacoq-safechecker.1.0~beta2+8.13
    • coq-metacoq-template
      • coq-metacoq-template.1.0~alpha1+8.8
      • coq-metacoq-template.1.0~alpha1+8.9
      • coq-metacoq-template.1.0~alpha2+8.10
      • coq-metacoq-template.1.0~alpha2+8.11
      • coq-metacoq-template.1.0~beta1+8.11
      • coq-metacoq-template.1.0~beta1+8.12
      • coq-metacoq-template.1.0~beta2+8.11
      • coq-metacoq-template.1.0~beta2+8.12
      • coq-metacoq-template.1.0~beta2+8.13
    • coq-metacoq-translations
      • coq-metacoq-translations.1.0~alpha1+8.8
      • coq-metacoq-translations.1.0~alpha1+8.9
      • coq-metacoq-translations.1.0~alpha2+8.10
      • coq-metacoq-translations.1.0~alpha2+8.11
      • coq-metacoq-translations.1.0~beta1+8.11
      • coq-metacoq-translations.1.0~beta1+8.12
      • coq-metacoq-translations.1.0~beta2+8.11
      • coq-metacoq-translations.1.0~beta2+8.12
      • coq-metacoq-translations.1.0~beta2+8.13
    • coq-template-coq/coq-template-coq.2.1~beta3

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

61 files changed

+0
-2637
lines changed

Diff for: ‎released/packages/coq-metacoq-checker/coq-metacoq-checker.1.0~alpha1+8.8/opam

-42
This file was deleted.

Diff for: ‎released/packages/coq-metacoq-checker/coq-metacoq-checker.1.0~alpha1+8.9/opam

-42
This file was deleted.

Diff for: ‎released/packages/coq-metacoq-checker/coq-metacoq-checker.1.0~alpha2+8.10/opam

-47
This file was deleted.

Diff for: ‎released/packages/coq-metacoq-checker/coq-metacoq-checker.1.0~alpha2+8.11/opam

-43
This file was deleted.

Diff for: ‎released/packages/coq-metacoq-checker/coq-metacoq-checker.1.0~beta1+8.11/opam

-43
This file was deleted.

Diff for: ‎released/packages/coq-metacoq-checker/coq-metacoq-checker.1.0~beta1+8.12/opam

-43
This file was deleted.

Diff for: ‎released/packages/coq-metacoq-erasure/coq-metacoq-erasure.1.0~alpha1+8.8/opam

-49
This file was deleted.

Diff for: ‎released/packages/coq-metacoq-erasure/coq-metacoq-erasure.1.0~alpha1+8.9/opam

-49
This file was deleted.

0 commit comments

Comments
 (0)