TIMESTAMP = 1486340778
SHA256 (maxima-5.39.0.tar.gz) = f58ff98013fcaa37d8661b941672c38db58f982f082d6cfcca1f1b5fac7d71b3
SIZE (maxima-5.39.0.tar.gz) = 38652090