Skip to content

Bump libsemigroups -> v3.6.1#438

Merged
james-d-mitchell merged 1 commit into
libsemigroups:mainfrom
libsemigroups-bot:update-libsemigroups-v3.6.1
May 17, 2026
Merged

Bump libsemigroups -> v3.6.1#438
james-d-mitchell merged 1 commit into
libsemigroups:mainfrom
libsemigroups-bot:update-libsemigroups-v3.6.1

Commits

Commits on May 17, 2026