Skip to content

Commit 0f14529

Browse files
[packagemanager] Update to 1.6 (#1032)
Co-authored-by: gap-package-distribution-bot <100730870+gap-package-distribution-bot[bot]@users.noreply.github.com>
1 parent 02fa7ab commit 0f14529

File tree

1 file changed

+10
-6
lines changed

1 file changed

+10
-6
lines changed

packages/packagemanager/meta.json

Lines changed: 10 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
11
{
22
"AbstractHTML": "<span class=\"pkgname\">PackageManager</span> is a basic collection of simple functions for installing and removing <span class=\"pkgname\">GAP</span> packages, with the eventual aim of becoming a full pip-style package manager for the <span class=\"pkgname\">GAP</span> system.",
33
"ArchiveFormats": ".tar.gz",
4-
"ArchiveSHA256": "26cfd3c5a8bd9b67f835be9fbf8b930ebe4fe89f891d57ec00c94615482b534a",
5-
"ArchiveURL": "https://github.com/gap-packages/PackageManager/releases/download/v1.5/PackageManager-1.5",
4+
"ArchiveSHA256": "4913b5960b1ad55c16f7b1da9b07d032ead0fc7710f346506441194ae074d249",
5+
"ArchiveURL": "https://github.com/gap-packages/PackageManager/releases/download/v1.6/PackageManager-1.6",
66
"AvailabilityTest": null,
7-
"Date": "30/08/2024",
7+
"Date": "19/09/2024",
88
"Dependencies": {
99
"ExternalConditions": [],
1010
"GAP": ">= 4.12",
@@ -14,6 +14,10 @@
1414
"GAPDoc",
1515
">= 1.6.1"
1616
],
17+
[
18+
"AutoDoc",
19+
">= 2023.06.19"
20+
],
1721
[
1822
"curlInterface",
1923
">= 2.1.0"
@@ -22,7 +26,7 @@
2226
},
2327
"Extensions": [
2428
{
25-
"filename": "gap/Download.g",
29+
"filename": "gap/Julia.g",
2630
"needed": [
2731
[
2832
"JuliaInterface",
@@ -45,7 +49,7 @@
4549
"SixFile": "doc/manual.six"
4650
}
4751
],
48-
"PackageInfoSHA256": "cb6d31288e8fb8506643c05ff31da56c1703135b027e79561956ed75df9aa438",
52+
"PackageInfoSHA256": "322b5df9e81bc137a5277b8e3a366e315d53aa2973f96bd8202824761cd81048",
4953
"PackageInfoURL": "https://gap-packages.github.io/PackageManager/PackageInfo.g",
5054
"PackageName": "PackageManager",
5155
"PackageWWWHome": "https://gap-packages.github.io/PackageManager/",
@@ -77,5 +81,5 @@
7781
"Status": "deposited",
7882
"Subtitle": "Easily download and install GAP packages",
7983
"TestFile": "tst/testall.g",
80-
"Version": "1.5"
84+
"Version": "1.6"
8185
}

0 commit comments

Comments
 (0)