paths: update for fixes in libsemigroups#363
Merged
james-d-mitchell merged 1 commit intolibsemigroups:mainfrom Nov 27, 2025
Merged
paths: update for fixes in libsemigroups#363james-d-mitchell merged 1 commit intolibsemigroups:mainfrom
james-d-mitchell merged 1 commit intolibsemigroups:mainfrom