TIMESTAMP = 1587489994
SHA256 (libsemigroups-libsemigroups-v1.0.9_GH0.tar.gz) = 48ddd47e3df3288a2931b87eb6a873e108ec7292472b33b01b1c2c1038673572
SIZE (libsemigroups-libsemigroups-v1.0.9_GH0.tar.gz) = 810614