Pav Lucistnik a121a28b20 - cdcl is a build dependency ... PR: ports/64322 Submitted by: Shin'ya Murakami <murakami@ahs.scitec.kobe-u.ac.jp> (maintainer)		2004-03-16 19:04:05 +00:00
..
distinfo
Makefile	- cdcl is a build dependency	2004-03-16 19:04:05 +00:00
pkg-descr
pkg-plist