Simplifications, phase 1

math-comp · Mar 26, 2024 · 4c189fa · 4c189fa
1 parent e8e3e16
commit 4c189fa
Show file tree

Hide file tree

Showing 4 changed files with 442 additions and 352 deletions.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -31,7 +31,7 @@
 
   ## select an entry to build in the following `bundles` set
   ## defaults to "default"
-  default-bundle = "8.16";
+  default-bundle = "8.19";
 
   ## write one `bundles.name` attribute set per
   ## alternative configuration

diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"1cad18e8537b4f6d6ad97d6eb57fa61e3dbcad59"
+"abb4982c7d47a00005ede4bae2e2c47d895a41dc"