From 333bc2d3e1709ff66cdd3d298ece5ae6224cbf15 Mon Sep 17 00:00:00 2001 From: Kazuhiko Sakaguchi Date: Thu, 12 Oct 2023 17:31:08 +0200 Subject: [PATCH] coq-mathcomp-algebra-tactics 1.0.0 and 1.1.0 are compatible with MathComp 1.17.0 --- .../coq-mathcomp-algebra-tactics.1.0.0/opam | 2 +- .../coq-mathcomp-algebra-tactics.1.1.0/opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.0.0/opam b/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.0.0/opam index df1bda816..a33862fed 100644 --- a/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.0.0/opam +++ b/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.0.0/opam @@ -20,7 +20,7 @@ build: [make "-j%{jobs}%" ] install: [make "install"] depends: [ "coq" {(>= "8.13" & < "8.18~")} - "coq-mathcomp-ssreflect" {(>= "1.12" & < "1.17~")} + "coq-mathcomp-ssreflect" {(>= "1.12" & < "1.18~")} "coq-mathcomp-algebra" "coq-mathcomp-zify" {(>= "1.1.0")} "coq-elpi" {(>= "1.10.1" & != "1.17.0")} diff --git a/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.1.0/opam b/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.1.0/opam index 40f2830bf..ffc3cf2d1 100644 --- a/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.1.0/opam +++ b/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.1.0/opam @@ -22,7 +22,7 @@ build: [make "-j%{jobs}%"] install: [make "install"] depends: [ "coq" {>= "8.16" & < "8.18~"} - "coq-mathcomp-ssreflect" {>= "1.15" & < "1.17~"} + "coq-mathcomp-ssreflect" {>= "1.15" & < "1.18~"} "coq-mathcomp-algebra" "coq-mathcomp-zify" {>= "1.1.0"} "coq-elpi" {>= "1.15.0" & != "1.17.0"}