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