TIMESTAMP = 1679294753
SHA256 (clingo-5.6.2.tar.gz) = 7750f6e47bf2e725f93555cc9acd3b10d2ab73c2a3868e9eb6a098df9a6dd755
SIZE (clingo-5.6.2.tar.gz) = 1807345