Create overlay MC-classical

LPCIC · Oct 16, 2023 · b164a15 · b164a15
1 parent 539cb4f
commit b164a15
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.nix/ coq-overlays/mathcomp-classical /default.nix b/.nix/ coq-overlays/mathcomp-classical /default.nix
@@ -0,0 +1,2 @@
+{ mathcomp-analysis, version ? null }:
+mathcomp-analysis.classical.override {inherit version;}