TIMESTAMP = 1606574826
SHA256 (libsemigroups-libsemigroups-v1.3.4_GH0.tar.gz) = c7cde5c76033a9d46eaefd95e4f9ec3e50b7b084777927335015409216bf2cd0
SIZE (libsemigroups-libsemigroups-v1.3.4_GH0.tar.gz) = 3157437
