Pav Lucistnik a8b7ec9e44 - Update to 0.4.0 ... PR: ports/78924 Submitted by: Shin'ya Murakami <murakami@ahs.scitec.kobe-u.ac.jp> (maintainer)		2005-03-19 00:44:07 +00:00
..
distinfo	- Update to 0.4.0	2005-03-19 00:44:07 +00:00
Makefile	- Update to 0.4.0	2005-03-19 00:44:07 +00:00
pkg-descr	science/cdcl -> update to 5.3 and use gtk by default	2005-02-24 20:15:00 +00:00
pkg-plist	- Update to 0.4.0	2005-03-19 00:44:07 +00:00