semigroups · james-d-mitchell · Apr 8, 2026 · Apr 14, 2026 · Apr 8, 2026
diff --git a/.LIBSEMIGROUPS_VERSION b/.LIBSEMIGROUPS_VERSION
@@ -1 +1 @@
-3.5.4
+3.5.5
diff --git a/.VERSION b/.VERSION
@@ -1 +1 @@
-5.6.1
+5.6.2
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,6 +4,28 @@ Copyright © 2011-2026 [James D. Mitchell][] et al.
 
 Licensing information can be found in the `LICENSE` file.
 
+## Version 5.6.2 (released 08/04/2026)
+
+- Gapbind14 clear by @james-d-mitchell in https://github.com/semigroups/Semigroups/pull/1144
+- doc: specify full main XML filename by @fingolfin in https://github.com/semigroups/Semigroups/pull/1148
+- gapbind14: unconditionally call `__builtin_unreachable` by @james-d-mitchell in https://github.com/semigroups/Semigroups/pull/1150
+- Release candidate for v5.6.1 by @james-d-mitchell in https://github.com/semigroups/Semigroups/pull/1146
+- Narrow declarations of `Factorization` and `WreathProduct` by @james-d-mitchell in https://github.com/semigroups/Semigroups/pull/1156
+- Cherry pick a bunch of commits from main by @james-d-mitchell in https://github.com/semigroups/Semigroups/pull/1164
+- ci: don't use BuildPackages.sh directly by @james-d-mitchell in https://github.com/semigroups/Semigroups/pull/1165
+- build: override bundled libsemigroups install paths by @jengelh in https://github.com/semigroups/Semigroups/pull/1074
+- Change filters for methods to increase their rank by @james-d-mitchell in https://github.com/semigroups/Semigroups/pull/1170
+- Codex doc improvements by @james-d-mitchell in https://github.com/semigroups/Semigroups/pull/1166
+- Resolve incompatibility with Orb v5.1.0 by @james-d-mitchell in https://github.com/semigroups/Semigroups/pull/1171
+
+## New Contributors
+
+- @jengelh made their first contribution in
+  https://github.com/semigroups/Semigroups/pull/1074
+
+**Full Changelog**:
+https://github.com/semigroups/Semigroups/compare/v5.6.1...v5.6.2
+
 ## Version 5.6.1 (released 18/03/2026)
 
 This is a minor release to fix some issues with the release archive for v5.6.0,

diff --git a/PackageInfo.g b/PackageInfo.g
@@ -34,8 +34,8 @@ _STANDREWSCS := Concatenation(["Jack Cole Building, North Haugh, ",
 SetPackageInfo(rec(
 PackageName := "Semigroups",
 Subtitle := "A package for semigroups and monoids",
-Version := "5.6.1",
-Date := "18/03/2026",  # dd/mm/yyyy format
+Version := "5.6.2",
+Date := "08/04/2026",  # dd/mm/yyyy format
 License := "GPL-3.0-or-later",
 
 ArchiveFormats := ".tar.gz",
@@ -133,6 +133,13 @@ Persons := [
     Place         := "Akita, Japan",
     Institution   := "Akita International University"),
 
+  rec(
+    LastName      := "Engelhardt",
+    FirstNames    := "Jan",
+    IsAuthor      := true,
+    IsMaintainer  := false,
+    Email         := "jengelh@inai.de"),
+
   rec(
     LastName      := "Elliott",
     FirstNames    := "Luke",

diff --git a/VERSIONS b/VERSIONS
@@ -9,6 +9,7 @@
 ##
 ##
 
+release 5.6.2  - 08/04/2026
 release 5.6.1  - 18/03/2026
 release 5.6.0  - 05/03/2026
 release 5.5.4  - 29/08/2025

diff --git a/environment.yml b/environment.yml
@@ -4,4 +4,4 @@ channels:
   - conda-forge
 
 dependencies:
-  - libsemigroups==3.5.4
+  - libsemigroups==3.5.5
diff --git a/release.toml b/release.toml
@@ -3,4 +3,4 @@ expired_emails = ["cr66@st-andrews.ac.uk", "ak316@st-andrews.ac.uk",
     "bspiers972@outlook.com", "chinmaya1011@gmail.com",
     "hk78@st-andrews.ac.uk", "ty39@st-andrews.ac.uk"]
 author_files = ["PackageInfo.g"]
-ignore = ["convert-repo", "dependabot"]
+ignore = ["convert-repo", "dependabot", "Codex"]
diff --git a/tst/standard/congruences/congwordgraph.tst b/tst/standard/congruences/congwordgraph.tst
@@ -135,8 +135,7 @@ gap> EquivalenceRelationPartitionWithSingletons(C);
 [ [ <identity ...>, a, b, b*a ] ]
 gap> EquivalenceRelationPartition(C);
 [ [ <identity ...>, a, b, b*a ] ]
-gap> GeneratingPairsOfLeftMagmaCongruence(C);
-[ [ <identity ...>, a ], [ <identity ...>, b ] ]
+gap> GeneratingPairsOfLeftMagmaCongruence(C);;
 gap> LeftSemigroupCongruence(S, last) = C;
 true
 gap> ForAll(last2, x -> x in C);