K 10
svn:author
V 7
fernape
K 8
svn:date
V 27
2019-08-06T17:36:36.798794Z
K 7
svn:log
V 224
math/cvc4: simplify post-patch

* Bump PORTREVISION
* Unbreak lang/maude and lang/solidity (broken in r508058 and r508059)

Reported by:	jbeich@
Reviewed by:	jbeich@
Differential Revision:	https://reviews.freebsd.org/D21170

END