Update ugent2016 package

This commit is contained in:
Charlotte Van Petegem 2024-03-07 08:37:03 +01:00
parent f66333391a
commit 27e8cd8db9
No known key found for this signature in database
GPG key ID: 019E764B7184435A

View file

@ -52,7 +52,7 @@
''; '';
ugent2016 = pkgs.stdenvNoCC.mkDerivation (finalAttrs: { ugent2016 = pkgs.stdenvNoCC.mkDerivation (finalAttrs: {
pname = "ugent2016"; pname = "ugent2016";
version = "0.11.0"; version = "0.12.0";
passthru = { passthru = {
pkgs = [ finalAttrs.finalPackage ]; pkgs = [ finalAttrs.finalPackage ];
tlDeps = with pkgs.texlive; [ tlDeps = with pkgs.texlive; [
@ -66,7 +66,6 @@
textcase textcase
graphics graphics
geometry geometry
setspace
ulem ulem
]; ];
tlType = "run"; tlType = "run";
@ -74,7 +73,7 @@
src = pkgs.fetchurl { src = pkgs.fetchurl {
url = "https://github.com/niknetniko/ugent2016/releases/download/${finalAttrs.version}/ugent2016.zip"; url = "https://github.com/niknetniko/ugent2016/releases/download/${finalAttrs.version}/ugent2016.zip";
hash = "sha256-4SY6F1DKnkaWWlFfVzxxZLFpqDrAnmbQ3uPCqi9doLQ="; hash = "sha256-9yax8pH0L9/fNbRM9lOcauYVa6GbxeDwquCMFhLMXpE=";
}; };
nativeBuildInputs = [ pkgs.unzip ]; nativeBuildInputs = [ pkgs.unzip ];