Bump libsemigroups -> v3.5.3

james-d-mitchell · james-d-mitchell · commit ba0f2766deb5 · 2026-03-16T19:17:52.000Z
diff --git a/build_tools/__init__.py b/build_tools/__init__.py
@@ -1,4 +1,4 @@
-# Copyright (c) 2021-2024 J. D. Mitchell
+# Copyright (c) 2021-2026 J. D. Mitchell
 #
 # Distributed under the terms of the GPL license version 3.
 #
@@ -11,4 +11,4 @@ def minimum_libsemigroups_version():
     """Returns the minimum required version of libsemigroups required to build
     libsemigroups_pybind11.
     """
-    return "3.5.1"
+    return "3.5.3"

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# Copyright (c) 2021-2024 J. D. Mitchell`
	`1`	`+# Copyright (c) 2021-2026 J. D. Mitchell`
`2`	`2`	`#`
`3`	`3`	`# Distributed under the terms of the GPL license version 3.`
`4`	`4`	`#`
`@@ -11,4 +11,4 @@ def minimum_libsemigroups_version():`
`11`	`11`	`"""Returns the minimum required version of libsemigroups required to build`
`12`	`12`	`libsemigroups_pybind11.`
`13`	`13`	`"""`
`14`		`- return "3.5.1"`
	`14`	`+ return "3.5.3"`