TIMESTAMP = 1600009735
SHA256 (libsemigroups-libsemigroups-v1.3.1_GH0.tar.gz) = 9d7c0568cb2e189de518139db95f945647e9a0d30bab46708753768a945208ad
SIZE (libsemigroups-libsemigroups-v1.3.1_GH0.tar.gz) = 3151319