gentoo-ebuilds/sci-mathematics/kissat
..
kissat-3.1.0.ebuild sci-mathematics/kissat: bump to 3.1.0 2023-08-15 13:59:52 +02:00
kissat-3.1.1.ebuild sci-mathematics/kissat: bump to 3.1.1 2023-10-11 02:19:38 +02:00
Manifest sci-mathematics/kissat: drop old 3.0.0 2023-10-11 02:19:38 +02:00
metadata.xml