Fernando Apesteguía 8a9986b914 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		2019-08-06 17:36:36 +00:00
..
files
distinfo
Makefile	math/cvc4: simplify post-patch	2019-08-06 17:36:36 +00:00
pkg-descr
pkg-plist