TIMESTAMP = 1775846972
SHA256 (libsemigroups-libsemigroups-v3.5.5_GH0.tar.gz) = c427d9e825e56de2cd639dd24f8574b0762c14d9ab2d26aa58be7bba1040cae8
SIZE (libsemigroups-libsemigroups-v3.5.5_GH0.tar.gz) = 10670600