TIMESTAMP = 1474338419
SHA256 (maxima-5.38.1.tar.gz) = 0e866536ab5847ec045ba013570f80f36206ca6ce07a5d13987010bcb321c6dc
SIZE (maxima-5.38.1.tar.gz) = 38641257