From 5e2e9217c7afeabad5ce02650b5fcd7f32ed96df Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Thu, 19 Dec 2024 09:55:17 +0100 Subject: [PATCH] avoid-version for coq-mathcomp-analysis.1.7.0 due to path.vo conflict with coq-mathcomp-ssreflect --- .../coq-mathcomp-analysis/coq-mathcomp-analysis.1.7.0/opam | 1 + 1 file changed, 1 insertion(+) 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 index c094a921d..e65cf8c2e 100644 --- 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"