8|200|2023-10-12|sci-mathematics/kissat|kissat-3.1.0.ebuild|http://fmv.jku.at/kissat/|https://fmv.jku.at/kissat/|sci-mathematics@gentoo.org
8|200|2023-10-12|sci-mathematics/kissat|kissat-3.1.1.ebuild|http://fmv.jku.at/kissat/|https://fmv.jku.at/kissat/|sci-mathematics@gentoo.org