{ pkgs ? import ./nixpkgs-pinned.nix {} }: with pkgs;
let ocamlPackages = ocaml-ng.ocamlPackages_4_14; in

ocamlPackages.buildDunePackage {
  pname = "mininix";
  version = "1.0.0";

  src = ./.;
  doCheck = true;

  nativeBuildInputs = [ coq_8_20 git ocamlPackages.menhir ];
  buildInputs = (with coqPackages_8_20; [
    flocq
    stdpp
  ]) ++ (with ocamlPackages; [
    bisect_ppx
    core
    core_unix
    linenoise
    pprint
    ppx_blob
    ppx_let
    ppx_sexp_conv
    sexp_pretty
    stdio
  ]);
}