From dbb48b9ad80b7bffb6b4cdc16f655e0ecb4f27e7 Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Wed, 17 May 2023 11:03:32 +0200 Subject: [PATCH] update opam and CI --- .github/workflows/ci.yml | 1 + coq-mathcomp-multinomials.opam | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f82e200..9d9619f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -20,6 +20,7 @@ jobs: - mathcomp/mathcomp:1.16.0-coq-8.15 - mathcomp/mathcomp:1.16.0-coq-8.16 - mathcomp/mathcomp:1.16.0-coq-8.17 + - mathcomp/mathcomp:1.17.0-coq-8.17 - mathcomp/mathcomp-dev:coq-8.15 # (without coq-native for now) - mathcomp/mathcomp-dev:coq-8.16 # (without coq-native for now) - mathcomp/mathcomp-dev:coq-8.17 # (without coq-native for now) diff --git a/coq-mathcomp-multinomials.opam b/coq-mathcomp-multinomials.opam index 344c653..93035a3 100644 --- a/coq-mathcomp-multinomials.opam +++ b/coq-mathcomp-multinomials.opam @@ -12,7 +12,7 @@ build: [ depends: [ "coq" {(>= "8.13" & < "8.18~") | = "dev"} "dune" {>= "2.8"} - "coq-mathcomp-ssreflect" {(>= "1.13" & < "1.17~") | = "dev"} + "coq-mathcomp-ssreflect" {(>= "1.13" & < "1.18~") | = "dev"} "coq-mathcomp-algebra" "coq-mathcomp-bigenough" {(>= "1.0" & < "1.1~") | = "dev"} "coq-mathcomp-finmap" {(>= "1.5" & < "1.6~") | = "dev"}