3.1.2
This is a minor release of the Semigroups package, including some changes to the build system (by D. V. Pasechnik), one issue was fixed (Issue 581 by Chris Russell and James Mitchell), and the version of libsemigroups required was increased to 0.6.7
.