build: override bundled libsemigroups install paths#1074
Open
jengelh wants to merge 2 commits intosemigroups:stable-5.6from
Open
build: override bundled libsemigroups install paths#1074jengelh wants to merge 2 commits intosemigroups:stable-5.6from
jengelh wants to merge 2 commits intosemigroups:stable-5.6from
Commits
Commits on Mar 26, 2026
- authored andcommitted
- committed
