TIMESTAMP = 1622619758
SHA256 (Boolector-boolector-3.2.2_GH0.tar.gz) = 9a5bdbacf83f2dd81dbed1e1a9f923766807470afa29b73729c947ae769d42b9
SIZE (Boolector-boolector-3.2.2_GH0.tar.gz) = 1566009