{ 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 monad-par persistent-sqlite
                            ]))
	          (pkgs.texlive.combine {
		    inherit (pkgs.texlive) scheme-small libertine tipa cm-super context bussproofs mweights fontaxes backnaur enumitem varwidth beamer ctablestack algorithms;
		  })
                ];
  shellHook = ''
    export PROMPT_INFO="${name}"
    export _JAVA_AWT_WM_NONREPARENTING=1
  '';
}