Play with margins

This commit is contained in:
Charlotte Van Petegem 2024-01-19 15:16:14 +01:00
parent aa79bae7aa
commit 82f4446523
No known key found for this signature in database
GPG key ID: 019E764B7184435A
3 changed files with 11 additions and 3 deletions

View file

@ -52,7 +52,7 @@
'';
ugent2016 = pkgs.stdenvNoCC.mkDerivation (finalAttrs: {
pname = "ugent2016";
version = "0.10.0";
version = "0.11.0";
passthru = {
pkgs = [ finalAttrs.finalPackage ];
tlDeps = with pkgs.texlive; [
@ -74,7 +74,7 @@
src = pkgs.fetchurl {
url = "https://github.com/niknetniko/ugent2016/releases/download/${finalAttrs.version}/ugent2016.zip";
hash = "sha256-70/5WHljZwbB//CiKy5AKuVTpwyK2BmbPD/Z4lQwPc8=";
hash = "sha256-4SY6F1DKnkaWWlFfVzxxZLFpqDrAnmbQ3uPCqi9doLQ=";
};
nativeBuildInputs = [ pkgs.unzip ];