TIMESTAMP = 1559293706
SHA256 (maxima-5.43.0.tar.gz) = dcfda54511035276fd074ac736e97d41905171e43a5802bb820914c3c885ca77
SIZE (maxima-5.43.0.tar.gz) = 34605709