diff --git a/CHANGES b/CHANGES
index 42f91c4..e8521f9 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,5 +1,9 @@
 This file describes changes in the PackageManager package.
 
+1.4.0 (2023-02-04)
+  - Revise how packages needing compilation are built, by using a bundled
+    script instead of relying on GAP's BuildPackages.sh
+
 1.3.2 (2022-10-06)
   - More informative error output
 
diff --git a/PackageInfo.g b/PackageInfo.g
index acfd99d..521a28a 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -10,8 +10,8 @@ SetPackageInfo( rec(
 
 PackageName := "PackageManager",
 Subtitle := "Easily download and install GAP packages",
-Version := "1.3.2",
-Date := "06/10/2022",  # dd/mm/yyyy format
+Version := "1.4.0",
+Date := "04/02/2023",  # dd/mm/yyyy format
 License := "GPL-2.0-or-later",
 
 Persons := [