Update version numbers etc for 4.0.1

.VERSION

@@ -1 +1 @@
-4.0.0
+4.0.1

.gitignore

@@ -68,7 +68,7 @@ doc/*.js
 doc/*.css
 gh-pages
 lcov*
-./libsemigroups/
+/libsemigroups/
 libtool
 libtool.m4
 ltmain.sh

CHANGELOG.md

@@ -3,6 +3,27 @@ Copyright © 2011-2022 [James D. Mitchell][] et al.
 
 Licensing information can be found in the `LICENSE` file.
 
+### Version 4.0.1 (released 21/04/2022)
+
+This is a minor release that includes a number of changes:
+
+* Avoid using `SIZEOF_VOID_P` by @wilfwilson in
+  https://github.com/semigroups/Semigroups/pull/803
+* doc: allow manual compile without all deps by @james-d-mitchell in
+  https://github.com/semigroups/Semigroups/pull/810
+* Bump libsemigroups -> v2.1.4 by @james-d-mitchell in
+  https://github.com/semigroups/Semigroups/pull/809
+* Change http -> https by @fingolfin in
+  https://github.com/semigroups/Semigroups/pull/818
+* Remove spurious dependency on libgmp by @fingolfin in
+  https://github.com/semigroups/Semigroups/pull/820
+* Improve compatibility with GAP's MatrixObj project by @fingolfin in
+  https://github.com/semigroups/Semigroups/pull/819
+* Better congruence lattices by @james-d-mitchell in
+  https://github.com/semigroups/Semigroups/pull/815
+* Add more matrix generators by @flsmith in
+  https://github.com/semigroups/Semigroups/pull/822
+
 ### Version 4.0.0 (released 28/02/2022)
 
 This is a major release which simplifies and improves many aspects of the
@@ -22,15 +43,15 @@ minimum version of `libsemigroups` is increased from v1.1.0 to v1.3.2. The
 required version of `Digraphs` is increased to v1.2.0. The `datastructures`
 package was implicitly required (via `Digraphs`), and now at least version
 v0.2.5 is required explicitly. The version of GAP required was implicitly at
-least v4.10.0, but was explicity v4.9.0, it is now explicitly v4.10.0. 
+least v4.10.0, but was explicity v4.9.0, it is now explicitly v4.10.0.
 
 ### Version 3.4.0 (released 28/08/2020)
 
 This is a minor release with the following new features added to the package:
 
-* `CanonicalReesMatrixSemigroup` and `CanonicalReesZeroMatrixSemigroup` written by Chris Russell. 
-* `ParseRelations` for finitely presented semigroups or monoids written by [Luke Elliott][]. 
-* `TikzString` method was implemented for collections of PBRs by [Finn Smith][]. 
+* `CanonicalReesMatrixSemigroup` and `CanonicalReesZeroMatrixSemigroup` written by Chris Russell.
+* `ParseRelations` for finitely presented semigroups or monoids written by [Luke Elliott][].
+* `TikzString` method was implemented for collections of PBRs by [Finn Smith][].
 
 The following bugs/issues were resolved:
 
@@ -43,7 +64,7 @@ The required minimum version of [libsemigroups][] is now v1.1.0,
 
 This is a very minor release fixing the following issues.
 
-* [Issue #676](https://github.com/gap-packages/Semigroups/issues/676) and 
+* [Issue #676](https://github.com/gap-packages/Semigroups/issues/676) and
   [Issue #677](https://github.com/gap-packages/Semigroups/issues/677) reported
   by Reinis Cirpons, where for some congruences `NonTrivialCongruenceClasses`
   failed to work, but `CongruenceClasses` did work. This was caused by an issue
@@ -62,11 +83,11 @@ fixes by [James D. Mitchell][] and [Wilf A. Wilson][].
 
 ### Version 3.3.0 (released 28/04/2020)
 
-This is a minor release fixing some issues in the build system 
+This is a minor release fixing some issues in the build system
 [Chris Jefferson][], some improvements to the isomorphism capabilities of the
 package [James D. Mitchell][], and the introduction of a rudimentary function
-to compute the automorphism group of an arbitrary semigroup. From v3.3.0, the 
-Semigroups package requires the [images package][] version 1.3.0 or higher. 
+to compute the automorphism group of an arbitrary semigroup. From v3.3.0, the
+Semigroups package requires the [images package][] version 1.3.0 or higher.
 
 ### Version 3.2.5 (released 28/03/2020)
 
@@ -89,13 +110,13 @@ module.
 ### Version 3.2.2 (released 17/01/2020)
 
 This is a minor release to update the version of [libsemigroups][] to v1.0.5,
-to include some changes for compatibility with [GAP][], and to fix the following issues 
+to include some changes for compatibility with [GAP][], and to fix the following issues
 
 * [Issue #632](https://github.com/gap-packages/Semigroups/issues/632) where
   file objects were not closed properly if an error was given;
 * [Issue #636](https://github.com/gap-packages/Semigroups/issues/636) the
   compiler flag `-march=native` is only added if it is supported by the compiler;
-* [Issue #637](https://github.com/gap-packages/Semigroups/issues/637) where  
+* [Issue #637](https://github.com/gap-packages/Semigroups/issues/637) where
   `IsomorphismPermGroup` sometimes returned an incorrect answer.
 
 The changes in this release were made by [Max Horn][] and [James D. Mitchell][].
@@ -437,7 +458,7 @@ The following issues are resolved:
 * [Issue 371](https://github.com/gap-packages/Semigroups/issues/371): the
   identity element of some types of monoids was not added to its
   `GeneratorsOfSemigroup`. This meant that the semigroup generated by
-  `GeneratorsOfSemigroup(M)` was not equal to `M` in some rare cases. 
+  `GeneratorsOfSemigroup(M)` was not equal to `M` in some rare cases.
     [[Wilf A.  Wilson][]]
 * [Issue 377](https://github.com/gap-packages/Semigroups/issues/377): there was
   a bug in the method for `IsInverseSemigroup` for non-acting semigroups that

PackageInfo.g

@@ -36,8 +36,8 @@ _STANDREWS := Concatenation(["Mathematical Institute, ",
 SetPackageInfo(rec(
 PackageName := "Semigroups",
 Subtitle := "A package for semigroups and monoids",
-Version := "4.0.0",
-Date := "28/02/2022",  # dd/mm/yyyy format
+Version := "4.0.1",
+Date := "21/04/2022",  # dd/mm/yyyy format
 License := "GPL-3.0-or-later",
 
 ArchiveFormats := ".tar.gz",

VERSIONS

@@ -9,6 +9,7 @@
 ##
 ##
 
+release 4.0.1  - 21/04/2022
 release 4.0.0  - 28/02/2022
 release 3.4.2  - 07/02/2021
 release 3.4.1  - 28/01/2021