ragouel [1] filed a request to merge tuprolog [2] into tuprolog-bin [3]: keep tuprolog-bin [1] https://aur.archlinux.org/account/ragouel/ [2] https://aur.archlinux.org/pkgbase/tuprolog/ [3] https://aur.archlinux.org/pkgbase/tuprolog-bin/