with import <nixpkgs> {};

stdenv.mkDerivation {
  name = "jasmin-0";
  src = ./.;
  buildInputs = [ ]
    ++ (with python3Packages; [ python pyyaml ])
    ++ (with coqPackages_8_6; [ coq mathcomp ])
    ++ (with ocamlPackages; [ ocaml findlib ocaml_batteries menhir zarith ])
    ;
}

with import <nixpkgs> {};

stdenv.mkDerivation {
  name = "jasmin-0";
  src = ./.;
  buildInputs = [ ]
    ++ (with python3Packages; [ python pyyaml ])
    ++ (with coqPackages_8_6; [ coq mathcomp ])
    ++ (with ocamlPackages; [ ocaml findlib ocamlbuild ocaml_batteries menhir zarith ])
    ;
}

Make explicit the dependency to ocamlbuild
Make explicit the dependency to ocamlbuild
