dadada/nix-config
dadada/nix-config
1
0
Fork 0
Code Issues 2 Pull requests 5 Projects Releases Packages Wiki Activity Actions

Cleanup

Browse source
This commit is contained in:
Tim Schubert 2020-08-01 15:46:33 +02:00
parent b7b348c163
commit 3d86adb45f
Signed by: dadada
GPG key ID: EEB8D1CE62C4DFEA
41 changed files with 124 additions and 81 deletions
Download patch file Download diff file Expand all files Collapse all files

15
pkgs/tubslatex.nix Normal file
View file

@ -0,0 +1,15 @@
{ stdenv, fetchzip }:
stdenv.mkDerivation rec {
src = fetchzip {
url = https://gitlab.ibr.cs.tu-bs.de/tubslatex/tubslatex/-/jobs/116760/artifacts/raw/builds/tubslatex.tds.zip;
sha256 = "0vvgwwkd8y7nk1lkda6zsnfnzmvgda1g59yawsknmw246y8nw8ln";
stripRoot = false;
};
installPhase = ''
mkdir -p $out
cp -r * $out/
'';
pname = "tubslatex";
name = pname;
tlType = "run";
}