{ pkgs ? (import <nixpkgs> {})
}:

pkgs.stdenv.mkDerivation rec {
  name = "uni-env";
  buildInputs = [ pkgs.gup
                  pkgs.jdk
                  pkgs.zip
                  pkgs.strace
                  pkgs.gcc
                  (pkgs.callPackage ./mars.nix {})
                  pkgs.sqlite
                  (pkgs.haskellPackages.ghcWithPackages (p:
                    with p; [ yesod yesod-bin pandoc pandoc-citeproc monad-par persistent-sqlite containers base-unicode-symbols containers-unicode-symbols
                            ]))
	          pkgs.texlive.combined.scheme-full
                  pkgs.biber
                ];
  shellHook = ''
    export PROMPT_INFO="${name}"
    export _JAVA_AWT_WM_NONREPARENTING=1
  '';
}