CI: Use extr-dev opam repository while generating the Rocqnavi doc (math-comp#2005)

Author: yoshihiro503

.github/workflows/deploy-docs-gh-pages.yml

@@ -24,8 +24,9 @@ jobs:
         with:
           ocaml-compiler: 4.14
           opam-repositories: |
-            coq-released: https://coq.inria.fr/opam/released
             default: https://github.com/ocaml/opam-repository.git
+            rocq-released: https://rocq-prover.org/opam/released
+            rocq-extra-dev: https://rocq-prover.org/opam/extra-dev
 
       - name: Build Mathcomp Analysis
         run: opam install -y --deps-only . --with-doc && opam exec -- make -j 4

.github/workflows/generate_docs.yml

@@ -1,3 +1,5 @@
+name: Generate HTML doc using Rocqnavi
+
 on:
   push:
     branches-ignore: ["gh-pages"]
@@ -31,8 +33,9 @@ jobs:
         with:
           ocaml-compiler: 4.14
           opam-repositories: |
-            coq-released: https://coq.inria.fr/opam/released
             default: https://github.com/ocaml/opam-repository.git
+            rocq-released: https://rocq-prover.org/opam/released
+            rocq-extra-dev: https://rocq-prover.org/opam/extra-dev
 
       - name: Build Mathcomp Analysis
         run: opam install -y --deps-only . --with-doc && opam exec -- make -j 4

rocq-mathcomp-classical.opam

@@ -16,10 +16,10 @@ build: [make "-C" "classical" "-j%{jobs}%"]
 install: [make "-C" "classical" "install"]
 depends: [
   "rocq-core" { (>= "9.0" & < "9.2~") | (= "dev") }
-  "rocq-mathcomp-ssreflect" { (>= "2.5.0" & < "2.6~") | (= "dev") }
+  "rocq-mathcomp-ssreflect" { (= "dev") }
   "rocq-mathcomp-fingroup"
   "rocq-mathcomp-algebra"
-  "rocq-mathcomp-finmap" { (>= "2.1.0") }
+  "rocq-mathcomp-finmap" { (= "dev") }
   "rocq-hierarchy-builder" { (>= "1.8.0") }
 ]