TIMESTAMP = 1779582523
SHA256 (swipl-10.0.2.tar.gz) = e42cc098f7b8a6051c4f79a99b55162d467098aba60f69649bdc7583f0734b57
SIZE (swipl-10.0.2.tar.gz) = 12825701