On Wed, Aug 12, 2015 at 5:09 PM, Giancarlo Razzolini <grazzolini at gmail.com> wrote: > For packages not migrated, I don't think there is a repo there. https://wiki.archlinux.org/index.php/Arch_User_Repository#Git_repository ?