haawda [1] filed a deletion request for bigloo-devel [2]: Upstream did not release devel versions since 10th december 2015, and thus the package in [extra] is newer than this package. [1] https://aur.archlinux.org/account/haawda/ [2] https://aur.archlinux.org/pkgbase/bigloo-devel/