TIMESTAMP = 1532156748
SHA256 (yices-2.6.0-src.tar.gz) = 4712c5c4bd1d299418148c68851c023041dc16450907353bedd4c17c1e4713e4
SIZE (yices-2.6.0-src.tar.gz) = 5539571