TIMESTAMP = 1575437337
SHA256 (cadical-1.0.3-cb89cbf.tar.xz) = d73879c649c8a7e685bec00f8bbdd0fa64cd325bb4c2a9e30b1b113043b703eb
SIZE (cadical-1.0.3-cb89cbf.tar.xz) = 340116