HomeFreeBSD

math/cvc4: simplify post-patch

Description

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

Details

Committed
fernapeAug 6 2019, 5:36 PM
Differential Revision
D21170: math/cvc4: improve post-patch target
Parents
rP508263: - set deprecation
Branches
Unknown
Tags
Unknown