restore .nix/config.nix

affeldt-aist · Feb 25, 2025 · e63bf57 · e63bf57
1 parent ef25be7
commit e63bf57
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -42,7 +42,6 @@
     ## You can override Coq and other Coq coqPackages
     ## through the following attribute
     # coqPackages.coq.override.version = "8.11";
-    mathcomp.override.version = "2.3.0";
 
     ## In some cases, light overrides are not available/enough
     ## in which case you can use either