TIMESTAMP = 1779120492
SHA256 (libsemigroups-libsemigroups-v3.6.1_GH0.tar.gz) = e93b697737a12debe52dcb12ef14e9ab39d1c1aaf7eea536f97e755f19c68bba
SIZE (libsemigroups-libsemigroups-v3.6.1_GH0.tar.gz) = 11021579