Upgrade tubslatex version

This commit is contained in:
Tim Schubert 2020-10-18 17:24:32 +02:00
parent 4c0ad5c3f0
commit 385be2e0fe
No known key found for this signature in database
GPG key ID: 99658A3EB5CD7C13
3 changed files with 9 additions and 7 deletions

2
.gitignore vendored
View file

@ -2,3 +2,5 @@ private/
home.nix
*.swp
result
pkgs/tubslatex_1.3.2.tds.zip
work.nix

View file

@ -42,6 +42,7 @@ in {
chromium
clang
clang-tools
direnv
evince
ffmpeg
fido2luks
@ -95,7 +96,6 @@ in {
whois
xdg_utils
firefox-bin
direnv
] ++ (with unstable; [
android-studio
keepassxc
@ -103,6 +103,7 @@ in {
python38Packages.managesieve
signal-desktop
thunderbird-bin
texlive-tubslatex
wireshark
youtube-dl
]);

View file

@ -1,10 +1,9 @@
{ stdenv, fetchzip }:
{ stdenv, fetchzip, unzip }:
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;
};
src = ./tubslatex_1.3.2.tds.zip;
sourceRoot = ".";
nativeBuildInputs = [ unzip ];
buildInputs = [ unzip ];
installPhase = ''
mkdir -p $out
cp -r * $out/