TIMESTAMP = 1779806763
SHA256 (bitwuzla-bitwuzla-0.9.1_GH0.tar.gz) = 42707f38900a20bb18108e426ba667560d1fd2ccce0d4f75aa60439b546488b4
SIZE (bitwuzla-bitwuzla-0.9.1_GH0.tar.gz) = 2507441