Merge pull request #3139 from palmskog/avoid-version-analysis-1.3.0

avoid-version flag for coq-mathcomp-analysis.1.3.0 due to risk of universe inconsistencies
coq · Aug 9, 2024 · 3fe0928 · 3fe0928
2 parents 9c21a9e + 83b56e4
commit 3fe0928
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/released/packages/coq-mathcomp-analysis/coq-mathcomp-analysis.1.3.0/opam b/released/packages/coq-mathcomp-analysis/coq-mathcomp-analysis.1.3.0/opam
@@ -65,3 +65,4 @@ url {
   src: "https://github.com/math-comp/analysis/releases/download/1.3.0/analysis-1.3.0.tar.gz"
   checksum: "sha512=c002e2cca31fbe00f4b3b896945578e5a0ebe0ffb2e03d510dc139ba59847f1d86bd6a31a754a36298bc90e095ed3a74e4eaa69bf1827c31de4208bb9e19defc"
 }
+flags: [ avoid-version ]
diff --git a/released/packages/coq-mathcomp-classical/coq-mathcomp-classical.1.3.0/opam b/released/packages/coq-mathcomp-classical/coq-mathcomp-classical.1.3.0/opam
@@ -51,3 +51,4 @@ url {
   src: "https://github.com/math-comp/analysis/releases/download/1.3.0/analysis-1.3.0.tar.gz"
   checksum: "sha512=c002e2cca31fbe00f4b3b896945578e5a0ebe0ffb2e03d510dc139ba59847f1d86bd6a31a754a36298bc90e095ed3a74e4eaa69bf1827c31de4208bb9e19defc"
 }
+flags: [ avoid-version ]