Adapt to Rocq 9.2

Author: proux01

.github/workflows/docker-action.yml

@@ -7,7 +7,7 @@ on:
   #   - cron: '0 4 * * *'
   push:
     branches:
-      - master
+      - v9.2
   pull_request:
     branches:
       - '**'
@@ -19,7 +19,7 @@ jobs:
     strategy:
       matrix:
         coq_version:
-          - 'dev'
+          - '9.2'
         image:
           # we can't use coqorg/coq images to test bignums
           # since these images already include coq-bignums

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.2
 [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
@@ -34,14 +34,14 @@ be part of the standard library.
   - Arnaud Spiwack
   - Evgeny Makarov
   - Pierre Letouzey
-- Coq-community maintainer(s):
+- Rocq-community maintainer(s):
   - Pierre Roux ([**@proux01**](https://github.com/proux01))
   - Érik Martin-Dorel ([**@erikmd**](https://github.com/erikmd))
 - License: [GNU Lesser General Public License v2.1](LICENSE)
-- Compatible Coq versions: master (use the corresponding branch or release for other Coq versions)
+- Compatible Rocq/Coq versions: master (use the corresponding branch or release for other Coq versions)
 - Compatible OCaml versions: all versions supported by Coq
 - Additional dependencies: none
-- Coq namespace: `Bignums`
+- Rocq/Coq namespace: `Bignums`
 - Related publication(s): none
 
 ## Building and installation instructions
@@ -50,7 +50,7 @@ The easiest way to install the latest released version of Bignums
 is via [OPAM](https://opam.ocaml.org/doc/Install.html):
 
 ```shell
-opam repo add coq-released https://coq.inria.fr/opam/released
+opam repo add rocq-released https://rocq-prover.org/opam/released
 opam install coq-bignums
 ```
 

coq-bignums.opam

@@ -1,6 +1,6 @@
 opam-version: "2.0"
-maintainer: "pierre.roux@onera.fr"
-version: "dev"
+maintainer: "palmskog@gmail.com"
+version: "9.2.dev"
 
 homepage: "https://github.com/coq-community/bignums"
 dev-repo: "git+https://github.com/coq-community/bignums.git"

meta.yml

@@ -4,7 +4,7 @@ shortname: bignums
 organization: coq-community
 community: true
 action: true
-branch: master
+branch: v9.2
 
 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.2.dev
 
 license:
   fullname: GNU Lesser General Public License v2.1
@@ -41,7 +41,7 @@ supported_ocaml_versions:
 
 supported_coq_versions:
   text: master (use the corresponding branch or release for other Coq versions)
-  opam: '{= "dev"}'
+  opam: '{>= "9.2" & < "9.3~"}'
 
 tested_coq_opam_versions:
 - version: dev

rocq-bignums.opam

@@ -1,6 +1,6 @@
 opam-version: "2.0"
 maintainer: "pierre.roux@onera.fr"
-version: "dev"
+version: "9.2.dev"
 
 homepage: "https://github.com/coq-community/bignums"
 dev-repo: "git+https://github.com/coq-community/bignums.git"
@@ -19,7 +19,7 @@ install: [
 ]
 depends: [
   "ocaml"
-  "rocq-core" {= "dev"}
+  "rocq-core" {>= "9.2" & < "9.3~"}
   "rocq-stdlib"
 ]