Merge pull request #268 from math-comp/fix-ci

Update config.nix
math-comp · Sep 24, 2021 · 33bf9c4 · 33bf9c4
2 parents e798ab4 + 5988d20
commit 33bf9c4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -6,7 +6,7 @@
       mathcomp.override.version = "hierarchy-builder";
       mathcomp.job = false;
       mathcomp-single.job = true;
-      coq-elpi.override.version = "master";
+      coq-elpi.override.version = "v1.11.1";
   }; in {
     "coq-8.13".coqPackages = {
       coq.override.version = "8.13";