TIMESTAMP = 1713670274
SHA256 (clingo-5.7.1.tar.gz) = 17400a1894da46b2d4941a4a85012c98fa8b3c67a5c6b4c73dcd8c8facbc059f
SIZE (clingo-5.7.1.tar.gz) = 1866665