ItachiSan [1] filed a orphan request for gecode [2]: Maintainer doesn't update the package for months, although updates are suggested. [1] https://aur.archlinux.org/account/ItachiSan/ [2] https://aur.archlinux.org/pkgbase/gecode/