nix

LPCIC · Jul 14, 2024 · 414b24e · 414b24e
1 parent ab61bf5
commit 414b24e
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -32,7 +32,13 @@
       reglang.job = false;
     };
 
+    "coq-master".ocamlPackages = {
+      elpi.override.version = "v1.19.2";
+    };
+
     "coq-master".coqPackages = {
+
+      coq.override.version = "gares:demote-demote";
 
       hierarchy-builder.override.version = "master";
       hierarchy-builder-shim.job = false;