TIMESTAMP = 1714922873
SHA256 (libsemigroups-libsemigroups-v2.3.2_GH0.tar.gz) = b3a0a950dc22fe22b99e605022767235bddf9710a517e4e1b2529be634d804e9
SIZE (libsemigroups-libsemigroups-v2.3.2_GH0.tar.gz) = 3332698