3 lines
190 B
Text
3 lines
190 B
Text
TIMESTAMP = 1699204051
|
|
SHA256 (Boolector-boolector-3.2.3_GH0.tar.gz) = 9862134d33cb3ed0aeb6be3c9b154a4d0a90fd076f46ef97cf872813109cc5d9
|
|
SIZE (Boolector-boolector-3.2.3_GH0.tar.gz) = 1566566
|