K 10
svn:author
V 6
swills
K 8
svn:date
V 27
2012-07-25T01:23:45.781464Z
K 7
svn:log
V 234
- Update to 1.7.0.
- Add/update *DEPENDS for libcdcl.so which is introduced by science/cdcl 5.4.5
- Use PORTDOCS and PORTEXAMPLES
- Use dirrmtry

PR:		ports/169033
Submitted by:	Shin-ya Murakami <murashin@gfd-dennou.org> (maintainer)

END
