Meta: Bump minimum libsemigroups version

Joseph-Edwards · Joseph-Edwards · commit c086c6b47d69 · 2025-07-28T18:17:16.000+01:00
diff --git a/build_tools/__init__.py b/build_tools/__init__.py
@@ -16,4 +16,4 @@ def minimum_libsemigroups_version():
     Returns the minimum required version of libsemigroups required to build
     libsemigroups_pybind11.
     """
-    return "3.0.2"
+    return "3.1.1"
