TIMESTAMP = 1724577355
SHA256 (Boolector-boolector-3.2.4_GH0.tar.gz) = 249c6dbf4e52ea6e8df1ddf7965d47f5c30f2c14905dce9b8f411756b05878bf
SIZE (Boolector-boolector-3.2.4_GH0.tar.gz) = 1567983