nix: minimise size of texlive closure#452

Ivan-Velickovic merged 1 commit intoseL4:mainseL4/microkit:mainfrom

au-ts:julia/minimise-texlive-nixau-ts/microkit:julia/minimise-texlive-nixCopy head branch name to clipboard