TIMESTAMP = 1774197552
SHA256 (potassco-clingo-v5.8.0_GH0.tar.gz) = 4ddd5975e79d7a0f8d126039f1b923a371b1a43e0e0687e1537a37d6d6d5cc7c
SIZE (potassco-clingo-v5.8.0_GH0.tar.gz) = 4496694
SHA256 (potassco-clasp-e51b9cf_GH0.tar.gz) = abf774f12041f05b20c1e31409326848c45bdce1513759c74cb4bd0828b013be
SIZE (potassco-clasp-e51b9cf_GH0.tar.gz) = 698569
SHA256 (catchorg-Catch2-914aeec_GH0.tar.gz) = 91c9fa17f8d77f8c7a98d0d8f020300ecd2a7041ff71ca835a11d0f80bb58fb0
SIZE (catchorg-Catch2-914aeec_GH0.tar.gz) = 1197324
SHA256 (ckormanyos-wide-integer-c725651_GH0.tar.gz) = c06cdf52528aae4d78e0e936e22e4d04cabe3188c9affb5bd2cde5640e5193fb
SIZE (ckormanyos-wide-integer-c725651_GH0.tar.gz) = 192028
SHA256 (mpark-variant-23cb94f_GH0.tar.gz) = e29ba09f184022095f558b043d85a61c1585020095c232e969dc1179a312de9f
SIZE (mpark-variant-23cb94f_GH0.tar.gz) = 33918
SHA256 (TartanLlama-optional-3a1209d_GH0.tar.gz) = b0bc5e955ed08a181ead21627d012fff5ce3ba015f4762d275cafc412ab1bae7
SIZE (TartanLlama-optional-3a1209d_GH0.tar.gz) = 22265
SHA256 (Tessil-hopscotch-map-75f0584_GH0.tar.gz) = b6fa0a8858417660fafe6d9572721bc01a1d223925466792ff07637401331e1d
SIZE (Tessil-hopscotch-map-75f0584_GH0.tar.gz) = 70655
SHA256 (Tessil-ordered-map-46adc0e_GH0.tar.gz) = 15ee46e5c93e6898616d87e7904971839dd397d0eb2439a81bc2908c62c12f99
SIZE (Tessil-ordered-map-46adc0e_GH0.tar.gz) = 69280
SHA256 (Tessil-sparse-map-1bc4561_GH0.tar.gz) = 8458efd5b42d465a3ac63327fb4c8cfc1423fb30a4adbb6dcdceba86cb7a1607
SIZE (Tessil-sparse-map-1bc4561_GH0.tar.gz) = 72109
SHA256 (92d7f44f5e7fc468af5b91f8c00135cf52caa5c2.patch) = 4dc3b9f6caf1441b2200316d01f143147e96c470fba137d42cec2a0316028199
SIZE (92d7f44f5e7fc468af5b91f8c00135cf52caa5c2.patch) = 1023081