Re: [arch-dev-public] pkgs with tetex dependency