TIMESTAMP = 1573875509
SHA256 (potassco-clingo-v5.4.0_GH0.tar.gz) = e2de331ee0a6d254193aab5995338a621372517adcf91568092be8ac511c18f3
SIZE (potassco-clingo-v5.4.0_GH0.tar.gz) = 2822810
SHA256 (potassco-clasp-c183473_GH0.tar.gz) = 04e9660309832a0c7627970fce605b3da8755858f33d39b6e132ad62eaa126db
SIZE (potassco-clasp-c183473_GH0.tar.gz) = 621447