- 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)