TIMESTAMP = 1663474598
SHA256 (clingo-5.6.1.tar.gz) = facdce78bcb30ae161a44e5dfbd811b769c1245ae7a1aaebb15ef90322753c3b
SIZE (clingo-5.6.1.tar.gz) = 1805178
