TIMESTAMP = 1766062106
SHA256 (libsemigroups-libsemigroups-v3.3.0_GH0.tar.gz) = ccfd3d6f71a2b5f8885565c2c7128e83f81d2a4d2dc92e8fdb9c278cf0255ad5
SIZE (libsemigroups-libsemigroups-v3.3.0_GH0.tar.gz) = 9273189
