K 10
svn:author
V 7
chinsan
K 8
svn:date
V 27
2007-07-28T16:41:28.000000Z
K 7
svn:log
V 304
Remove deprecated port.
CVC Lite is no longer supported. Please use CVC3 (math/cvc3) for all your
validity checking needs.

Approved by:	rafan (mentor, implicit), lwhsu (maintainer)

2007-06-30 math/cvcl: CVC Lite is no longer supported. Please use CVC3 (math/cvc3) for all your validity checking needs!

END