TIMESTAMP = 1738313081
SHA256 (libsemigroups-libsemigroups-v2.7.3_GH0.tar.gz) = 754fb0e4dbfcc64b6c9a35583935c61d77fd11aa9b15f5328406c70c9d0d65b1
SIZE (libsemigroups-libsemigroups-v2.7.3_GH0.tar.gz) = 3425157
