6 lines
364 B
Plaintext
6 lines
364 B
Plaintext
TIMESTAMP = 1790647094
|
|
SHA256 (cvc5-cvc5-cvc5-1.4.1_GH0.tar.gz) = 5448e82682a65ddbdd7148402f73d48725252e70c9a0e43999c3f305bfbb4f76
|
|
SIZE (cvc5-cvc5-cvc5-1.4.1_GH0.tar.gz) = 8954136
|
|
SHA256 (e748b1feabfbc70da71df4ec114e440c1df3a33e.patch) = 0ddf37bdb55a88f08a76e75c080b16b4b9c1b1ec50755c85df4f853438814975
|
|
SIZE (e748b1feabfbc70da71df4ec114e440c1df3a33e.patch) = 1843
|