nix

Author: gares

.nix/config.nix

@@ -14,15 +14,15 @@ let master = [
     "trakt"
   ];
   rocq-common-bundles = {
-    rocq-elpi.override.elpi-version = "3.4.2";
+    rocq-elpi.override.elpi-version = "v3.6.0";
     hierarchy-builder.override.version = "master";
     rocq-elpi-tests.job = true;
     rocq-elpi-tests-stdlib.job = true;
   };
   coq-common-bundles = listToAttrs (forEach master (p:
     { name = p; value.override.version = "master"; }))
   // {
-    coq-elpi.override.elpi-version = "3.4.2";
+    coq-elpi.override.elpi-version = "v3.6.0";
 
     mathcomp-boot.job = true;
     mathcomp-fingroup.job = true;