[HACK] nix overlay for HB

LPCIC · Sep 20, 2024 · 89d373e · 89d373e
1 parent 7ff81f7
commit 89d373e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -30,6 +30,7 @@ let master = [
     "coq-8.20" = {
       coqPackages = common-bundles // {
         coq.override.version = "8.20";
+        hierarchy-builder.override.version = "new_elpi_resolver";
       };
       ocamlPackages = {
         elpi.override.version = "v1.19.5";