TIMESTAMP = 1693909958
SHA256 (potassco-clasp-v3.3.9_GH0.tar.gz) = 858bb4850814a89e30711abea23985646fab56c8e43663a30b2255bb3d863948
SIZE (potassco-clasp-v3.3.9_GH0.tar.gz) = 677796
SHA256 (potassco-libpotassco-fa39da4_GH0.tar.gz) = a46dec9da76bc6af85060e47814b9c85cd80914fe3795e9c269608cb739289f3
SIZE (potassco-libpotassco-fa39da4_GH0.tar.gz) = 259662