freebsd-ports/lang/maude/distinfo

TIMESTAMP = 1537177216
SHA256 (Maude-2.7.1.tar.gz) = b1887c7fa75e85a1526467727242f77b5ec7cd6a5dfa4ceb686b6f545bb1534b
SIZE (Maude-2.7.1.tar.gz) = 1853963
SHA256 (Full-Maude-2.7.1.zip) = 4c3a11b053ea92df4cfe89939a97c6b02c68489b174eb689c844c08decb18f78
SIZE (Full-Maude-2.7.1.zip) = 156771
- 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			`TIMESTAMP = 1537177216`
			`SHA256 (Maude-2.7.1.tar.gz) = b1887c7fa75e85a1526467727242f77b5ec7cd6a5dfa4ceb686b6f545bb1534b`
			`SIZE (Maude-2.7.1.tar.gz) = 1853963`
			`SHA256 (Full-Maude-2.7.1.zip) = 4c3a11b053ea92df4cfe89939a97c6b02c68489b174eb689c844c08decb18f78`
			`SIZE (Full-Maude-2.7.1.zip) = 156771`