build: override bundled libsemigroups install paths#1074
Merged
james-d-mitchell merged 1 commit intosemigroups:stable-5.6from Apr 1, 2026
Merged
build: override bundled libsemigroups install paths#1074james-d-mitchell merged 1 commit intosemigroups:stable-5.6from
james-d-mitchell merged 1 commit intosemigroups:stable-5.6from
Commits
Commits on Apr 1, 2026
- authored andcommitted
