TIMESTAMP = 1685801901
SHA256 (maxima-5.47.0.tar.gz) = 9104021b24fd53e8c03a983509cb42e937a925e8c0c85c335d7709a14fd40f7a
SIZE (maxima-5.47.0.tar.gz) = 47939891