Merge pull request #3263 from palmskog/analysis-1.7-avoid

avoid-version for coq-mathcomp-analysis.1.7.0 due to path.vo conflict
coq · Dec 19, 2024 · ee681de · ee681de
2 parents c5f59b9 + 5e2e921
commit ee681de
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/released/packages/coq-mathcomp-analysis/coq-mathcomp-analysis.1.7.0/opam b/released/packages/coq-mathcomp-analysis/coq-mathcomp-analysis.1.7.0/opam
@@ -57,6 +57,7 @@ authors: [
   "Pierre-Yves Strub"
   "Laurent Théry"
 ]
+flags: avoid-version # path.vo conflict with coq-mathcomp-ssreflect
 
 url {
 src: "https://github.com/math-comp/analysis/archive/1.7.0.tar.gz"