TIMESTAMP = 1774640546
SHA256 (libsemigroups-libsemigroups-v3.5.4_GH0.tar.gz) = 8ff9d878612539d7e7d2d538237dc1c9600e861c5290f0e8d99729d1f3c5449f
SIZE (libsemigroups-libsemigroups-v3.5.4_GH0.tar.gz) = 10298137
