eazar001 [1] filed a orphan request for swi-prolog-devel [2]: SWI-Prolog development is currently on version 7.3.12, and is schedule for another updated very soon. This package has been on 7.3.8 for a very long time. [1] https://aur.archlinux.org/account/eazar001/ [2] https://aur.archlinux.org/pkgbase/swi-prolog-devel/