TIMESTAMP = 1614612696
SHA256 (libsemigroups-libsemigroups-v1.3.7_GH0.tar.gz) = 7d8e924c38ce596b576d7be1321bcc50e87c850b0c74a1abc46c81d466e455d3
SIZE (libsemigroups-libsemigroups-v1.3.7_GH0.tar.gz) = 3163290