3 files changed, 37 insertions, 0 deletions
diff --git a/.nix/config.nix b/.nix/config.nix
new file mode 100644
index 0000000..dde76b9
--- /dev/null
+++ b/.nix/config.nix
@@ -0,0 +1,34 @@
+{
+  ## DO NOT CHANGE THIS
+  format = "1.0.0";
+  ## unless you made an automated or manual update
+  ## to another supported format.
+
+  ## The attribute to build, either from nixpkgs
+  ## of from the overlays located in `.nix/coq-overlays`
+  coq-attribute = "mathcomp";
+
+  ## If you want to select a different attribute
+  ## to serve as a basis for nix-shell edit this
+  coq-shell-attribute = "mathcomp-single";
+
+  ## Indicate the relative location of your _CoqProject
+  ## If not specified, it defaults to "_CoqProject"
+  coqproject = "mathcomp/_CoqProject";
+
+  ## select an entry to build in the following `tasks` set
+  ## defaults to "default"
+  select = "coq-8.13";
+
+  ## write one `tasks.name` attribute set per
+  ## alternative configuration, the can be used to
+  ## compute several ci jobs as well
+
+  ## You can override Coq and other Coq coqPackages
+  ## through the following attribute
+
+  tasks."coq-8.13".coqPackages.coq.override.version = "8.13";
+  tasks."coq-8.12".coqPackages.coq.override.version = "8.12";
+  tasks."coq-8.11".coqPackages.coq.override.version = "8.11";
+  tasks."coq-8.10".coqPackages.coq.override.version = "8.10";
+}
diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
new file mode 100644
index 0000000..ba2d943
--- /dev/null
+++ b/.nix/coq-nix-toolbox.nix
@@ -0,0 +1 @@
+"e54b920493f0494ede95b5f7d083cc8b20b1f5a6"
diff --git a/.nix/coq-overlays/mathcomp-single/default.nix b/.nix/coq-overlays/mathcomp-single/default.nix
new file mode 100644
index 0000000..65be1c4
--- /dev/null
+++ b/.nix/coq-overlays/mathcomp-single/default.nix
@@ -0,0 +1,2 @@
+{ mathcomp, version ? null }:
+mathcomp.override {single = true; version = null;}