diff --git a/.nix/config.nix b/.nix/config.nix
index 7cf9839..8c108b9 100644
--- a/.nix/config.nix
+++ b/.nix/config.nix
@@ -82,7 +82,7 @@
     "master".coqPackages = {
       coq.override.version = "master";
       coq-elpi.override.version = "coq-master";
-      hierarchy-builder.override.version = "proux01:coq-master";
+      hierarchy-builder.override.version = "master";
       mathcomp.override.version = "master";
     };
     "8.17".coqPackages = {