TIMESTAMP = 1787735085
SHA256 (potassco-clasp-v3.4.1_GH0.tar.gz) = c1eb1889248a7c221596588c0db774917cc835c309ce296de087d6ee2b1d11f1
SIZE (potassco-clasp-v3.4.1_GH0.tar.gz) = 699910
SHA256 (potassco-libpotassco-a10b3ac_GH0.tar.gz) = 2c41ea371a209601f4d1163db42437f9f033451a5f95db33c3be71b697275145
SIZE (potassco-libpotassco-a10b3ac_GH0.tar.gz) = 263565
