Li-Wen Hsu c07192f844 - 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>		2018-12-12 05:30:24 +00:00
..
files
distinfo
Makefile
pkg-descr
pkg-plist