{ pkgs ? import (fetchTarball { name = "nixpkgs-master-2020-08-05"; url = "https://github.com/NixOS/nixpkgs/archive/143626989245c751505049316ae408737248309d.tar.gz"; sha256 = "0r2pizvwm7skr6zdwan355ffsb439knk6kb2m0z9xmps67lkjy18"; }) { } }: with pkgs; let ocamlPackages = ocaml-ng.ocamlPackages_4_10; in let mirage-crypto6_2 = ocamlPackages.mirage-crypto.overrideDerivation (old: { version = "0.6.2"; }); in # Syntax error let jose = ocamlPackages.callPackage ./reason-jose.nix { mirage-crypto6_2 }; in stdenv.mkDerivation rec { name = "coqbot"; src = null; buildInputs = with ocamlPackages; [ # Compiler and dev tools ocaml findlib dune_2 utop ncurses merlin ocamlformat nixfmt nodePackages.get-graphql-schema # Direct dependencies base cohttp cohttp-lwt-unix hex nocrypto yojson graphql_ppx toml eqaf odoc jose # Publishing heroku ]; shellHook = '' export OCAMLFORMAT_LOCATION=${ocamlformat} ''; }