TIMESTAMP = 1585205935
SHA256 (Boolector-boolector-3.2.1_GH0.tar.gz) = 0273347f6b24be406e5d37fd3681d64847a0eecb4131006a6afb8f120b69c4dd
SIZE (Boolector-boolector-3.2.1_GH0.tar.gz) = 1561216