c07192f844
- 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>
6 lines
288 B
Plaintext
6 lines
288 B
Plaintext
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
|