dev-lang/xsb|https://dev.gentoo.org/~keri/distfiles/xsb/xsb-4.0.0-gentoo-patchset-3.tar.gz|prolog@gentoo.org