Skip to content

Bump libsemigroups -> v3.5.3#402

Merged
james-d-mitchell merged 4 commits intolibsemigroups:stable-1.4from
james-d-mitchell:bump-libsemigroups-version
Mar 17, 2026
Merged

Bump libsemigroups -> v3.5.3#402
james-d-mitchell merged 4 commits intolibsemigroups:stable-1.4from
james-d-mitchell:bump-libsemigroups-version

Commits

Commits on Mar 16, 2026