From b164a15f7974b1ed2387f5a2d80efe45b2ee83b1 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 16 Oct 2023 11:03:36 +0200 Subject: [PATCH] Create overlay MC-classical --- .nix/ coq-overlays/mathcomp-classical /default.nix | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 .nix/ coq-overlays/mathcomp-classical /default.nix 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;}