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