TIMESTAMP = 1651730211
SHA256 (potassco-clingo-v5.5.2_GH0.tar.gz) = a2a0a590485e26dce18860ac002576232d70accc5bfcb11c0c22e66beb23baa6
SIZE (potassco-clingo-v5.5.2_GH0.tar.gz) = 3136393
SHA256 (potassco-clasp-17c4e46_GH0.tar.gz) = fe65a7580849948daf00343a5f9fb92a495aee9a8daf61eb63d86a9d36cbaec6
SIZE (potassco-clasp-17c4e46_GH0.tar.gz) = 677901
