[CI] Update Nix CI

math-comp · Aug 28, 2023 · 74e83fd · 74e83fd
1 parent b134c4c
commit 74e83fd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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";
   };