TIMESTAMP = 1583681938
SHA256 (JohnCremona-eclib-v20190909_GH0.tar.gz) = 695e45e14aa521a3eab15d6fcc58e2aa014d601acca9b573388b3660d57c1320
SIZE (JohnCremona-eclib-v20190909_GH0.tar.gz) = 982681
