From 6c5f530b22f8751546fdee44ecf875a8ff93b2bb Mon Sep 17 00:00:00 2001
From: gap-package-distribution-bot
<100730870+gap-package-distribution-bot[bot]@users.noreply.github.com>
Date: Fri, 12 Jan 2024 12:10:03 +0000
Subject: [PATCH] [packagemanager] Update to 1.4.3
---
packages/packagemanager/meta.json | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/packages/packagemanager/meta.json b/packages/packagemanager/meta.json
index 154d43e77..90510849e 100644
--- a/packages/packagemanager/meta.json
+++ b/packages/packagemanager/meta.json
@@ -1,10 +1,10 @@
{
"AbstractHTML": "PackageManager is a basic collection of simple functions for installing and removing GAP packages, with the eventual aim of becoming a full pip-style package manager for the GAP system.",
"ArchiveFormats": ".tar.gz",
- "ArchiveSHA256": "b640cc27f3b00803976cb2a55407cc8edac4eb800c54b5a305c59d1c470606aa",
- "ArchiveURL": "https://github.com/gap-packages/PackageManager/releases/download/v1.4.2/PackageManager-1.4.2",
+ "ArchiveSHA256": "60c75b5ea816ab5a2a683b9bfa42007e6a5310c082e0296e642ce400e0590ba0",
+ "ArchiveURL": "https://github.com/gap-packages/PackageManager/releases/download/v1.4.3/PackageManager-1.4.3",
"AvailabilityTest": null,
- "Date": "20/12/2023",
+ "Date": "12/01/2024",
"Dependencies": {
"ExternalConditions": [],
"GAP": ">= 4.10",
@@ -45,7 +45,7 @@
"SixFile": "doc/manual.six"
}
],
- "PackageInfoSHA256": "9ff94341149b268a50dcfb8bc5edbee2b0dd61e7b0b33e142d5256c909637891",
+ "PackageInfoSHA256": "fe5a6b94e1716b7df883b6668a6087bd5a07e18079af12ad025d0e3eb97ae4d0",
"PackageInfoURL": "https://gap-packages.github.io/PackageManager/PackageInfo.g",
"PackageName": "PackageManager",
"PackageWWWHome": "https://gap-packages.github.io/PackageManager/",
@@ -77,5 +77,5 @@
"Status": "deposited",
"Subtitle": "Easily download and install GAP packages",
"TestFile": "tst/test-without-texlive.g",
- "Version": "1.4.2"
+ "Version": "1.4.3"
}