K 10
svn:author
V 5
lwhsu
K 8
svn:date
V 27
2018-12-12T05:30:24.230572Z
K 7
svn:log
V 287
- Update to 2.7.1
- Add CVC4 support option and enabled by default
- Unbreak on aarch64, sbrk is not used anymore
- Remove build date to make the build reproducible
- Pass maintainership to submitter
- Pet `portlint -abct`

PR:		231443
Submitted by:	Greg V <greg@unrelenting.technology>

END