default.nix

{ config ? {}, withEmacs ? false, print-env ? false, do-nothing ? false,
  update-nixpkgs ? false, ci-matrix ? false,
  override ? {}, ocaml-override ? {}, global-override ? {},
  bundle ? null, job ? null, inNixShell ? null, src ? ./.,
}@args:
let auto = fetchGit {
  url = "https://github.com/proux01/coq-nix-toolbox.git";
  ref = "rocqderivation";
  rev = import .nix/coq-nix-toolbox.nix;
};
in
import auto ({inherit src;} // args)