5 lines
344 B
Text
5 lines
344 B
Text
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
|