TIMESTAMP = 1756982852
SHA256 (libsemigroups-libsemigroups-v3.1.3_GH0.tar.gz) = a751b879a97b259821e0d19f39d3d394efc8ecd12647cdcb267d39b6d6a8a31d
SIZE (libsemigroups-libsemigroups-v3.1.3_GH0.tar.gz) = 6155171