nix

Author: gares

.nix/config.nix

@@ -7,7 +7,7 @@
     "coq-8.19".coqPackages = {
       coq.override.version = "8.19+rc1";
 
-      hierarchy-builder.override.version = "coq-elpi-2";
+      hierarchy-builder.override.version = "master";
       hierarchy-builder-shim.job = false;
 
       mathcomp.override.version = "master";
@@ -19,7 +19,7 @@
       mathcomp-analysis.override.version = "hierarchy-builder";
       mathcomp-analysis.job = true;
 
-      mathcomp-finmap.override.version = "2.0.0";
+      mathcomp-finmap.override.version = "master";
       mathcomp-finmap.job = true;
 
       mathcomp-classical.override.version = "hierarchy-builder";