Use Coq 8.20

vbgl · vbgl · commit f9fc4b98ca38 · 2025-03-13T18:20:04.000+01:00
diff --git a/default.nix b/default.nix
@@ -29,7 +29,7 @@ let coqPackages =
       };
       hierarchy-builder = super.hierarchy-builder.override { version = "master"; };
     })
-  else coqPackages_8_19.overrideScope (self: super: {
+  else coqPackages_8_20.overrideScope (self: super: {
       mathcomp = super.mathcomp.override { version = "2.2.0"; };
   })
 ; in
