Pav Lucistnik a02d5d7de6 - Update to 0.5.0 ... PR: ports/81939 Submitted by: Shin'ya Murakami <murakami@ahs.scitec.kobe-u.ac.jp> (maintainer)		2005-06-06 12:02:23 +00:00
..
distinfo	- Update to 0.5.0	2005-06-06 12:02:23 +00:00
Makefile	- Update to 0.5.0	2005-06-06 12:02:23 +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.5.0	2005-06-06 12:02:23 +00:00