{ stdenv
, fetchzip
, unzip
,
}:
stdenv.mkDerivation rec {
  src = ./tubslatex_1.3.2.tds.zip;
  sourceRoot = ".";
  nativeBuildInputs = [ unzip ];
  buildInputs = [ unzip ];
  installPhase = ''
    mkdir -p $out
    cp -r * $out/
  '';
  pname = "tubslatex";
  name = pname;
  tlType = "run";
}