8|200|2024-03-05|sci-mathematics/cadical|cadical-1.9.4.ebuild|http://fmv.jku.at/cadical/|https://fmv.jku.at/cadical/|sci-mathematics@gentoo.org
8|200|2024-03-05|sci-mathematics/cadical|cadical-1.9.5.ebuild|http://fmv.jku.at/cadical/|https://fmv.jku.at/cadical/|sci-mathematics@gentoo.org