ports.git - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
*	- Update to 2.7.1	Li-Wen Hsu	2018-12-12	1	-2/+2
\| \| \| \| \| \| \| \| \| \| \|	- 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>
*	lang/maude: Fix build with Clang 6	Tobias Kortkamp	2018-08-27	1	-0/+11
	../../src/Core/termSet.hh:35:15: error: ISO C++11 does not allow access declarations; use using declarations instead PointerSet::cardinality; ^ http://beefy11.nyi.freebsd.org/data/head-i386-default/p477696_s338122/logs/errors/maude-2.6_1.log