TIMESTAMP = 1679293637
SHA256 (potassco-clingo-v5.6.2_GH0.tar.gz) = 81eb7b14977ac57c97c905bd570f30be2859eabc7fe534da3cdc65eaca44f5be
SIZE (potassco-clingo-v5.6.2_GH0.tar.gz) = 5079018
SHA256 (potassco-clasp-4c708a7_GH0.tar.gz) = 9dc6d49b017b970fbee62296bde2eed2b9e02b9d025458548f7fbf740c427968
SIZE (potassco-clasp-4c708a7_GH0.tar.gz) = 677863
SHA256 (catchorg-Catch2-97313f9_GH0.tar.gz) = 17678ecd174c70d77111d8dab966db168baa6362ee1e89910a51254e424f40c8
SIZE (catchorg-Catch2-97313f9_GH0.tar.gz) = 1035855
SHA256 (mpark-variant-23cb94f_GH0.tar.gz) = e29ba09f184022095f558b043d85a61c1585020095c232e969dc1179a312de9f
SIZE (mpark-variant-23cb94f_GH0.tar.gz) = 33918
SHA256 (TartanLlama-optional-c28fcf7_GH0.tar.gz) = 6f9fdc78582d34bf50d7bb9379de3d5185a5dd93be664e0c01e9d54fcbe0872d
SIZE (TartanLlama-optional-c28fcf7_GH0.tar.gz) = 22257
SHA256 (Tessil-hopscotch-map-4442316_GH0.tar.gz) = 60266643f4682fd9d476d7e80a29693d9824863a334483ad72ebf8f3b3d41d32
SIZE (Tessil-hopscotch-map-4442316_GH0.tar.gz) = 70706
SHA256 (Tessil-ordered-map-1619d52_GH0.tar.gz) = d84f853910a120b5e81732e9068a457ca1237c2eff7b63e735ad901d2936331c
SIZE (Tessil-ordered-map-1619d52_GH0.tar.gz) = 67442
SHA256 (Tessil-sparse-map-89d3053_GH0.tar.gz) = 9d705edfb2dc6051168a1a1c72dfecc52c06248be2c24cbd64bca39efe9fcc3b
SIZE (Tessil-sparse-map-89d3053_GH0.tar.gz) = 71486