Update .nix/config.nix

math-comp · Dec 11, 2024 · 5d9ee83 · 5d9ee83
1 parent 5b4a090
commit 5d9ee83
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -22,7 +22,7 @@
     };
   in {
     "coq-master".coqPackages = mcHBcommon // {
-      coq.override.version = "proux01:ssrmatching_primitive_proj";
+      coq.override.version = "master";
       coq-elpi.override.version = "coq-master";
       bignums.override.version = "master";
       paramcoq.override.version = "master";