Merge pull request #218 from proux01/rocq-refman

Update refman to rocqrst

Author: proux01

.github/workflows/nix-action-rocq-9.0.yml

@@ -166,6 +166,5 @@ user-contrib/Ltac2/dune
 /test-suite/test_suite_config.inc
 
 .wrappers
-rocq-stdlib-doc.opam
 doc/stdlib/Library.fdb_latexmk
 doc/stdlib/Library.fls

.github/workflows/nix-action-rocq-9.1.yml

@@ -53,7 +53,7 @@ with builtins; with (import <nixpkgs> {}).lib;
 
   ## select an entry to build in the following `bundles` set
   ## defaults to "default"
-  default-bundle = "rocq-9.0";
+  default-bundle = "rocq-9.1";
 
   ## write one `bundles.name` attribute set per
   ## alternative configuration
@@ -289,6 +289,7 @@ with builtins; with (import <nixpkgs> {}).lib;
       stdlib-warnings.job = true;
       # plugin pins, from v9.1 branch of Rocq
       bignums.override.version = "9f9855536bd4167af6986f826819e32354b7da22";
+      stdlib-test.job = false;
     }; coqPackages = coq-common-bundles // {
       coq.override.version = "9.1";
       # plugin pins, from v9.1 branch of Rocq
@@ -325,6 +326,7 @@ with builtins; with (import <nixpkgs> {}).lib;
       stdlib-warnings.job = true;
       # plugin pins, from v9.0 branch of Coq
       bignums.override.version = "cc2d9ee990e4cfebe5f107d8357198baa526eded";
+      stdlib-test.job = false;
     }; coqPackages = coq-common-bundles // {
       coq.override.version = "9.0.0";
       # plugin pins, from v9.0 branch of Coq

.github/workflows/nix-action-rocq-master.yml

@@ -1 +1 @@
-"e4f4560d9d6fcc41a5050dfbfca1d46b5f6c0583"
+"f21be9b79484884fb23d06463c6f03cb2a266b8b"

.gitignore

@@ -1,10 +1,10 @@
-{ antlr4_9, python311, coq, stdlib, coqPackages }:
+{ antlr4_9, python311, rocq-core, stdlib, rocqPackages }:
 
-coqPackages.lib.overrideCoqDerivation {
+rocqPackages.lib.overrideRocqDerivation {
   pname = "stdlib-refman-html";
 
   overrideBuildInputs = stdlib.buildInputs
-  ++ [ coq.ocamlPackages.ocaml coq.ocamlPackages.dune_3 stdlib ]
+  ++ [ rocq-core.ocamlPackages.ocaml rocq-core.ocamlPackages.dune_3 stdlib ]
   ++ [
     # Sphinx doc dependencies
     (python311.withPackages

.nix/config.nix

@@ -46,7 +46,7 @@ with `apt install python3-pip python3-setuptools` on Debian / Ubuntu then run:
     pip3 install sphinx sphinx_rtd_theme beautifulsoup4 \
                  antlr4-python3-runtime==4.7.1 pexpect sphinxcontrib-bibtex
 
-You can check the dependencies using the `doc/tools/coqrst/checkdeps.py` script.
+You can check the dependencies using the `doc/tools/rocqrst/checkdeps.py` script.
 
 ### Other formats
 

.nix/coq-nix-toolbox.nix

@@ -1,2 +1,4 @@
+
 Changed
 ^^^^^^^
+

.nix/coq-overlays/stdlib-refman-html/default.nix renamed to .nix/rocq-overlays/stdlib-refman-html/default.nix

@@ -1,2 +1,4 @@
+
 Added
 ^^^^^
+