with import (fetchTarball "https://github.com/NixOS/nixpkgs/archive/00197eff36bb8f7dd7f53a59f730e1fd8e11b1f4.tar.gz") {};
let
  ncoq = coq_8_14;
  ncoqPackages = coqPackages_8_14;
in
ncoqPackages.mkCoqDerivation {
  pname = "biteq";
  owner = "ymherklotz";
  defaultVersion = "0.1.0";

  src = ./.;

  buildInputs = [ ncoq ];

  enableParallelBuilding = true;
}