TIMESTAMP = 1540701574
SHA256 (yices-2.6.1-src.tar.gz) = c37340616483f584ee403a06ab01fc9151a834e07a4d937a155b1e6a73b3b93e
SIZE (yices-2.6.1-src.tar.gz) = 5419404