Synopsis: [maintainer-update] science/cdcl: update to 5.4.5 Responsible-Changed-From-To: freebsd-ports-bugs->beech Responsible-Changed-By: beech Responsible-Changed-When: Wed Jun 13 21:39:08 UTC 2012 Responsible-Changed-Why: I'll take it http://www.freebsd.org/cgi/query-pr.cgi?pr=169031