minisat « sci-mathematics - archive/repo/gentoo-2.git - Another conversion of the historical gentoo-x86 ebuild repository

GitWeb

Get Gentoo!

summary refs log tree commit diff

path: root/sci-mathematics/minisat

Mode	Name	Size
-rw-r--r--	ChangeLog	1225	log plain
-rw-r--r--	Manifest	1327	log plain
-rw-r--r--	metadata.xml	330	log plain
-rw-r--r--	minisat-2.2.0-r2.ebuild	1665	log plain