From 79d18c808100f3b42b67b40335e930ed5b7b0f5d Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Fri, 24 Jan 2025 15:12:06 +0100
Subject: [PATCH] Adapt to Rocq 9.0

---
 .github/workflows/docker-action.yml |  6 +++---
 README.md                           |  2 +-
 coq-bignums.opam                    | 11 +++++++----
 meta.yml                            |  8 ++++----
 4 files changed, 15 insertions(+), 12 deletions(-)

diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
index 57afd5c..61ab6fc 100644
--- a/.github/workflows/docker-action.yml
+++ b/.github/workflows/docker-action.yml
@@ -7,7 +7,7 @@ on:
   #   - cron: '0 4 * * *'
   push:
     branches:
-      - master
+      - v9.0
   pull_request:
     branches:
       - '**'
@@ -19,14 +19,14 @@ jobs:
     strategy:
       matrix:
         coq_version:
-          - 'dev'
+          - '9.0.dev'
         image:
           # we can't use coqorg/coq images to test bignums
           # since these images already include coq-bignums
           - 'coqorg/base:4.13.1-flambda'
       fail-fast: false
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-bignums.opam'
diff --git a/README.md b/README.md
index 8b4c3d2..11cea4a 100644
--- a/README.md
+++ b/README.md
@@ -9,7 +9,7 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 [![Code of Conduct][conduct-shield]][conduct-link]
 [![Zulip][zulip-shield]][zulip-link]
 
-[docker-action-shield]: https://github.com/coq-community/bignums/actions/workflows/docker-action.yml/badge.svg?branch=master
+[docker-action-shield]: https://github.com/coq-community/bignums/actions/workflows/docker-action.yml/badge.svg?branch=v9.0
 [docker-action-link]: https://github.com/coq-community/bignums/actions/workflows/docker-action.yml
 
 [contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg
diff --git a/coq-bignums.opam b/coq-bignums.opam
index 9a9549b..78132ce 100644
--- a/coq-bignums.opam
+++ b/coq-bignums.opam
@@ -1,6 +1,9 @@
+# This file was generated from `meta.yml`, please do not edit manually.
+# Follow the instructions on https://github.com/coq-community/templates to regenerate.
+
 opam-version: "2.0"
-maintainer: "pierre.roux@onera.fr"
-version: "dev"
+maintainer: "palmskog@gmail.com"
+version: "9.0.dev"
 
 homepage: "https://github.com/coq-community/bignums"
 dev-repo: "git+https://github.com/coq-community/bignums.git"
@@ -19,8 +22,8 @@ install: [
 ]
 depends: [
   "ocaml"
-  "rocq-core" {= "dev"}
-  "coq-stdlib"
+  "rocq-core" {>= "9.0" & < "9.1~"}
+  "rocq-stdlib"
 ]
 
 tags: [
diff --git a/meta.yml b/meta.yml
index daa00ca..8dd1441 100644
--- a/meta.yml
+++ b/meta.yml
@@ -4,7 +4,7 @@ shortname: bignums
 organization: coq-community
 community: true
 action: true
-branch: master
+branch: v9.0
 
 synopsis: >-
   Bignums, the Coq library of arbitrarily large numbers
@@ -28,7 +28,7 @@ maintainers:
 
 opam-file-maintainer: palmskog@gmail.com
 
-opam-file-version: dev
+opam-file-version: 9.0.dev
 
 license:
   fullname: GNU Lesser General Public License v2.1
@@ -41,10 +41,10 @@ supported_ocaml_versions:
 
 supported_coq_versions:
   text: master (use the corresponding branch or release for other Coq versions)
-  opam: '{= "dev"}'
+  opam: '{>= "9.0" & < "9.1~"}'
 
 tested_coq_opam_versions:
-- version: dev
+- version: 9.0
 
 ci_cron_schedule: '0 4 * * *'