Re: [pacman-dev] [PATCH] Add makepkg option --printproducts; fix bug #42150