Merge pull request #82 from proux01/ci-update

[CI] Update Nix toolbox

Author: proux01

.nix/config.nix

@@ -116,7 +116,6 @@ with builtins; with (import <nixpkgs> {}).lib;
       "coqprime"
       "coquelicot"
       "coqutil"
-      "coq-elpi"
       "coq-elpi-test"
       "ExtLib"
       "coq-hammer"
@@ -206,10 +205,9 @@ with builtins; with (import <nixpkgs> {}).lib;
   in {
     "coq-master".coqPackages = common-bundles // {
       coq.override.version = "master";
+      coq-elpi.override.version = "master";
+      coq-elpi.override.elpi-version = "2.0.7";
       coq-tools.override.version = "proux01:coq_19955";
     };
-    "coq-master".ocamlPackages = {
-      elpi.override.version = "2.0.6";
-    };
   };
 }

.nix/coq-nix-toolbox.nix

@@ -1 +1 @@
-"e1b9b292e69a75c05eab1200dd454013b3ba071d"
+"0966fc85b6cf7b6b88ac6cdada5916fc50310fea"

default.nix

@@ -5,7 +5,7 @@
 }@args:
 let auto = fetchGit {
   url = "https://github.com/proux01/coq-nix-toolbox.git";
-  ref = "stdlib-test";
+  ref = "stdlib-on-master";
   rev = import .nix/coq-nix-toolbox.nix;
 };
 in