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
Description
Description
Details
Details
- Provenance
fernape Authored on - Differential Revision
- D21170: math/cvc4: improve post-patch target
- Parents
- rP508263: - set deprecation
- Branches
- Unknown
- Tags