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