Pav Lucistnik 6027caa241 - Update to 0.5.1 ... PR: ports/85914 Submitted by: Shin'ya Murakami <murakami@ahs.scitec.kobe-u.ac.jp> (maintainer)		2005-09-10 21:20:15 +00:00
..
distinfo	- Update to 0.5.1	2005-09-10 21:20:15 +00:00
Makefile	- Update to 0.5.1	2005-09-10 21:20:15 +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.1	2005-09-10 21:20:15 +00:00