Update .nix/config.nix

gares · web-flow · commit b5a6c60ccd2b · 2023-10-16T13:42:38.000+02:00
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -6,6 +6,7 @@
 
     "coq-8.18".coqPackages = {
       hierarchy-builder.override.version = "master";
+      coq.override.version = "8.18";
       hierarchy-builder-shim.job = false;
 
       mathcomp.override.version = "master";
