Re: [pacman-dev] [PATCH] repo-add: should have option to prevent downgrading