diff --git a/.nix/config.nix b/.nix/config.nix
index 3f4acaa267..c00bbbcc0e 100644
--- a/.nix/config.nix
+++ b/.nix/config.nix
@@ -49,7 +49,7 @@
     coq.override.version = "master";
     coq-elpi.override.version = "coq-master";
     hierarchy-builder.override.version = "coq-master";
-    mathcomp.override.version = "master";
+    mathcomp.override.version = "1.17.0";
     mathcomp-bigenough.override.version = "1.0.1";
     mathcomp-finmap.override.version = "1.5.2";
   };