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 (maintainer) END