app-editors/vscodium: add 1.97.0.25037master
[gentoo/gentoo.git] / sci-mathematics / kissat / 
treef64d31c830151419e3ac51bdeadc69880a0ad401
drwxr-xr-x   ..
-rw-r--r-- 610 Manifest
-rw-r--r-- 807 kissat-3.1.0.ebuild
-rw-r--r-- 807 kissat-3.1.1.ebuild
-rw-r--r-- 762 metadata.xml