diff --git a/.nix/    coq-overlays/mathcomp-classical  /default.nix b/.nix/    coq-overlays/mathcomp-classical  /default.nix
new file mode 100644
index 000000000..193265f29
--- /dev/null
+++ b/.nix/    coq-overlays/mathcomp-classical  /default.nix	
@@ -0,0 +1,2 @@
+{ mathcomp-analysis, version ? null }:
+mathcomp-analysis.classical.override {inherit version;}