with import (fetchTarball "https://github.com/NixOS/nixpkgs/archive/00197eff36bb8f7dd7f53a59f730e1fd8e11b1f4.tar.gz") {};
let
  ncoq = coq_8_14;
  ncoqPackages = coqPackages_8_14;
  bbv = ncoqPackages.callPackage
    ( { coq, stdenv, fetchFromGithub, mkCoqDerivation }:
      mkCoqDerivation {
        pname = "bbv";
        owner = "ymherklotz";

        defaultVersion = "1.0-dev";

        src = fetchFromGitHub {
          owner = "mit-plv";
          repo = "bbv";
          rev = "d5ab9c04db85eb85688816dc687d118000a65736";
          sha256 = "0qlgkzwrg80j50md9s3fbnq62xc7fx1cb9f3y8iz714824ihkhbj";
        };

        buildInputs = [ ];
        propagatedBuildInputs = [ coq ];
        enableParallelBuilding = true;

        outputs = [ "out" ];

        meta = with lib; {
          description = "Bedrock Bit Vector Library";
          homepage    = "https://github.com/mit-plv/bbv";
          license     = licenses.mit;
          platforms   = [ "x86_64-linux" "x86_64-darwin" ];
          maintainers = [ ];
        };
      } ) { } ;
in
ncoqPackages.mkCoqDerivation {
  pname = "biteq";
  owner = "ymherklotz";
  defaultVersion = "0.1.0";

  src = ./.;

  buildInputs = [ ncoq bbv ];

  enableParallelBuilding = true;
}