[CI] Add overlay

math-comp · Sep 18, 2023 · 0a8153d · 0a8153d
1 parent b45bea3
commit 0a8153d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -4,7 +4,7 @@
   default-bundle = "coq-8.16";
   bundles = let
     mcHBcommon = {
-      mathcomp.override.version = "master";
+      mathcomp.override.version = "proux01:rm_infer";
       mathcomp.job = true;
       mathcomp-single.job = true;
       hierarchy-builder-shim.job = true;