Fedora 31 Update: libsemigroups-1.0.5-1.fc31