8|200|2023-07-04|sci-mathematics/picosat|picosat-965.ebuild|http://fmv.jku.at/picosat/|https://fmv.jku.at/picosat/|sci-mathematics@gentoo.org