8|sci-mathematics/picosat|picosat-965.ebuild|amd64:~x86|sci-mathematics@gentoo.org