From e3833b9807e610eae8a40506ff2aabab985eb8f0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Brandenburg?= <bbb@mpi-sws.org>
Date: Mon, 6 Nov 2023 13:07:20 +0100
Subject: [PATCH] bump mathcomp version to 1.18
---
.gitlab-ci.yml | 9 +++++++--
coq-prosa.opam | 2 +-
2 files changed, 8 insertions(+), 3 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 83d25c869..4e296ed41 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -29,7 +29,7 @@ stages:
- opam install -y -v -j ${NJOBS} coq-prosa-refinements
.preferred-stable-version:
- image: bbbrandenburg/mathcomp-for-prosa:1.17.0-coq-8.18
+ image: bbbrandenburg/mathcomp-for-prosa:1.18.0-coq-8.18
.build:
image: bbbrandenburg/mathcomp-for-prosa:${CI_JOB_NAME}
@@ -81,6 +81,11 @@ stages:
- .build
- .not_in_wip_branches
+1.18.0-coq-8.18:
+ extends:
+ - .build
+ - .not_in_wip_branches
+
POET:
extends:
- .build-and-test-POET
@@ -174,7 +179,7 @@ proof-state:
extends:
- .not_in_wip_branches
stage: build
- image: bbbrandenburg/alectryon-ci:1.17.0-coq-8.18
+ image: bbbrandenburg/alectryon-ci:1.18.0-coq-8.18
script:
- eval $(opam env)
- make -j ${NJOBS} all
diff --git a/coq-prosa.opam b/coq-prosa.opam
index 9a5938c49..70038fe81 100644
--- a/coq-prosa.opam
+++ b/coq-prosa.opam
@@ -13,7 +13,7 @@ build: [
install: [make "install"]
depends: [
"coq" {((>= "8.16" & < "8.19~") | = "dev")}
- "coq-mathcomp-algebra" {((>= "1.16" & < "1.18~") | = "dev")}
+ "coq-mathcomp-algebra" {((>= "1.16" & < "1.19~") | = "dev")}
"coq-mathcomp-zify" {>= "1.2.0"}
]
--
GitLab