Revert "Use nix-tool-box"

This reverts commit 8674d6996fca76028ead3f75363f11bab4fa3e7c that I
added by accident

3 files changed, 0 insertions, 37 deletions

diff --git a/.nix/config.nix b/.nix/config.nix
deleted file mode 100644
index dde76b9..0000000
--- a/.nix/config.nix
+++ /dev/null
@@ -1,34 +0,0 @@
-{
-  ## 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
deleted file mode 100644
index ba2d943..0000000
--- a/.nix/coq-nix-toolbox.nix
+++ /dev/null
@@ -1 +0,0 @@
-"e54b920493f0494ede95b5f7d083cc8b20b1f5a6"
diff --git a/.nix/coq-overlays/mathcomp-single/default.nix b/.nix/coq-overlays/mathcomp-single/default.nix
deleted file mode 100644
index 65be1c4..0000000
--- a/.nix/coq-overlays/mathcomp-single/default.nix
+++ /dev/null
@@ -1,2 +0,0 @@
-{ mathcomp, version ? null }:
-mathcomp.override {single = true; version = null;}