Version 1.4.2

gap-packages · Dec 20, 2023 · af6c022 · af6c022
1 parent d69e567
commit af6c022
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/CHANGES b/CHANGES
@@ -1,5 +1,10 @@
 This file describes changes in the PackageManager package.
 
+1.4.2 (2023-12-20)
+  - Add 'debug' option which preserves directories resulting from
+    failed package installations
+  - Simplify bundled `BuildPackages.sh` script (should not affect users)
+
 1.4.1 (2023-03-20)
   - Switch to new GAP package distribution
   - Add custom download code for when PackageManager is used within Julia

diff --git a/PackageInfo.g b/PackageInfo.g
@@ -10,8 +10,8 @@ SetPackageInfo( rec(
 
 PackageName := "PackageManager",
 Subtitle := "Easily download and install GAP packages",
-Version := "1.4.1",
-Date := "20/03/2023",  # dd/mm/yyyy format
+Version := "1.4.2",
+Date := "20/12/2023",  # dd/mm/yyyy format
 License := "GPL-2.0-or-later",
 
 Persons := [