TIMESTAMP = 1592256101
SHA256 (maxima-5.44.0.tar.gz) = d93f5e48c4daf8f085d609cb3c7b0bdf342c667fd04cf750c846426874c9d2ec
SIZE (maxima-5.44.0.tar.gz) = 34976354