Fix Nix CI

math-comp · Jul 26, 2024 · 959526d · 959526d
1 parent 899c141
commit 959526d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -57,7 +57,7 @@
     coq-elpi.override.version = "master";
     hierarchy-builder.override.version = "master";
     mathcomp.override.version = "master";
-    mathcomp-bigenough.override.version = "1.0.1";
+    mathcomp-bigenough.override.version = "master";
     mathcomp-finmap.override.version = "master";
   }; ocamlPackages = { elpi.override.version = "1.19.2"; }; };
 

diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"66abb687550ec2800bc1724036cfb5d9656c901c"
+"53c930417a1185c9d9e87f9a79e2479004a04954"
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		"66abb687550ec2800bc1724036cfb5d9656c901c"
		"53c930417a1185c9d9e87f9a79e2479004a04954"