TIMESTAMP = 1663473974
SHA256 (potassco-clingo-v5.6.1_GH0.tar.gz) = fd94a8eadb0051abd0b7176e228404eeb93e0ad70307913a608aa4aa978fabec
SIZE (potassco-clingo-v5.6.1_GH0.tar.gz) = 3736873
SHA256 (potassco-clasp-4c708a7_GH0.tar.gz) = 9dc6d49b017b970fbee62296bde2eed2b9e02b9d025458548f7fbf740c427968
SIZE (potassco-clasp-4c708a7_GH0.tar.gz) = 677863
SHA256 (catchorg-Catch2-62fd660_GH0.tar.gz) = 6ffb927225dcae98bcb3f1af908f2cc5cd9a71cfdb29f7a3995aad1fd8336840
SIZE (catchorg-Catch2-62fd660_GH0.tar.gz) = 661905
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
