Version 1.4.0

gap-packages · Feb 4, 2023 · 08d0dc2 · 08d0dc2
1 parent c0ac7cb
commit 08d0dc2
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git 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
@@ -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 := [