[cap_project] Updates for several packages (#1146)

gap-package-distribution-bot[bot] · web-flow · commit 299a47665cad · 2025-07-07T15:47:22.000+02:00
Co-authored-by: gap-package-distribution-bot &lt;100730870+gap-package-distribution-bot[bot]@users.noreply.github.com&gt;
diff --git a/packages/cap/meta.json b/packages/cap/meta.json
@@ -1,10 +1,10 @@
 {
   "AbstractHTML": "<span class=\"pkgname\">CAP</span> (Categories, Algorithms, Programming) is a package for category theory.\nIt facilitates the implementation of specific instances of categories\nand provides a language for writing generic categorical algorithms.",
   "ArchiveFormats": ".tar.gz .zip",
-  "ArchiveSHA256": "de5104f9c6d1c47520806a8f83e3d0b261fd05da21645b538a5e68d7de6a85f4",
-  "ArchiveURL": "https://github.com/homalg-project/CAP_project/releases/download/CAP-2025.06-08/CAP-2025.06-08",
+  "ArchiveSHA256": "ce14a99d739f83b40bcd7bdc53d206dcfaf2816974aa663ffe6f52219eec9bf9",
+  "ArchiveURL": "https://github.com/homalg-project/CAP_project/releases/download/CAP-2025.07-02/CAP-2025.07-02",
   "AvailabilityTest": null,
-  "Date": "2025-06-22",
+  "Date": "2025-07-03",
   "Dependencies": {
     "ExternalConditions": [],
     "GAP": ">= 4.13.0",
@@ -59,7 +59,7 @@
       "SixFile": "doc/manual.six"
     }
   ],
-  "PackageInfoSHA256": "430355ad575040a4e990c23fd70828009e6ff596bc1dd13b4f433bdbf0d6d337",
+  "PackageInfoSHA256": "eba44228115e27e764c367831bb743c44d7945c685aec21e8fe184417f33f255",
   "PackageInfoURL": "https://homalg-project.github.io/CAP_project/CAP/PackageInfo.g",
   "PackageName": "CAP",
   "PackageWWWHome": "https://homalg-project.github.io/pkg/CAP",
@@ -117,5 +117,5 @@
   "Status": "deposited",
   "Subtitle": "Categories, Algorithms, Programming",
   "TestFile": "tst/testall.g",
-  "Version": "2025.06-08"
+  "Version": "2025.07-02"
 }
diff --git a/packages/generalizedmorphismsforcap/meta.json b/packages/generalizedmorphismsforcap/meta.json
@@ -1,10 +1,10 @@
 {
   "AbstractHTML": "<span class=\"pkgname\">GeneralizedMorphismsForCAP</span> provides the category of generalized morphisms associated to an abelian category.",
   "ArchiveFormats": ".tar.gz .zip",
-  "ArchiveSHA256": "20bd4b34bc051520aac0d95a8b8413a6b5d5efdf4043643309df13e30a695073",
-  "ArchiveURL": "https://github.com/homalg-project/CAP_project/releases/download/GeneralizedMorphismsForCAP-2025.06-01/GeneralizedMorphismsForCAP-2025.06-01",
+  "ArchiveSHA256": "aa3d929af62c34896b3d65d4aadee9c412a7f3b8eebc5342f47b3c4704f4d596",
+  "ArchiveURL": "https://github.com/homalg-project/CAP_project/releases/download/GeneralizedMorphismsForCAP-2025.07-01/GeneralizedMorphismsForCAP-2025.07-01",
   "AvailabilityTest": null,
-  "Date": "2025-06-30",
+  "Date": "2025-07-03",
   "Dependencies": {
     "ExternalConditions": [],
     "GAP": ">= 4.13.0",
@@ -38,7 +38,7 @@
       "SixFile": "doc/manual.six"
     }
   ],
-  "PackageInfoSHA256": "1babc34e91ad42b8b3ae5cdbfa6e7bc0bc8d477b3103cfc5522399395bc58271",
+  "PackageInfoSHA256": "780ed5e65e8ab88690f450e0ba44ab0ce62e2b84b6d882bb6a3ad62eec2b43bd",
   "PackageInfoURL": "https://homalg-project.github.io/CAP_project/GeneralizedMorphismsForCAP/PackageInfo.g",
   "PackageName": "GeneralizedMorphismsForCAP",
   "PackageWWWHome": "https://homalg-project.github.io/pkg/GeneralizedMorphismsForCAP",
@@ -74,5 +74,5 @@
   "Status": "deposited",
   "Subtitle": "Implementations of generalized morphisms for the CAP project",
   "TestFile": "tst/testall.g",
-  "Version": "2025.06-01"
+  "Version": "2025.07-01"
 }
diff --git a/packages/linearalgebraforcap/meta.json b/packages/linearalgebraforcap/meta.json
@@ -1,10 +1,10 @@
 {
   "AbstractHTML": "<span class=\"pkgname\">LinearAlgebraForCAP</span> provides a skeletal model of the category of finite dimensional vector spaces over a computable field.",
   "ArchiveFormats": ".tar.gz .zip",
-  "ArchiveSHA256": "02e79333eadd074b1a1e3a2b68041cfe243d550b204d78c326b0b2fe6d7c1fcd",
-  "ArchiveURL": "https://github.com/homalg-project/CAP_project/releases/download/LinearAlgebraForCAP-2025.06-02/LinearAlgebraForCAP-2025.06-02",
+  "ArchiveSHA256": "cb78d5507370f13434b4cbbe73213f1598f7823d814003a87ddae177f900b553",
+  "ArchiveURL": "https://github.com/homalg-project/CAP_project/releases/download/LinearAlgebraForCAP-2025.07-01/LinearAlgebraForCAP-2025.07-01",
   "AvailabilityTest": null,
-  "Date": "2025-06-15",
+  "Date": "2025-07-03",
   "Dependencies": {
     "ExternalConditions": [],
     "GAP": ">= 4.13.0",
@@ -36,8 +36,8 @@
       "filename": "gap/MatrixCategory_as_CategoryOfRows.gi",
       "needed": [
         [
-          "FreydCategoriesForCAP",
-          ">= 2024.08-07"
+          "AdditiveClosuresForCAP",
+          ">= 2025.06-01"
         ]
       ]
     }
@@ -56,7 +56,7 @@
       "SixFile": "doc/manual.six"
     }
   ],
-  "PackageInfoSHA256": "6aa3009c38ee1a4e0f2f92b6f059537c6ece04f6f2395c0bcf4b314f90e67db4",
+  "PackageInfoSHA256": "215cdefe4a526c5f6b40c9103907feabd6d6f3fd7d0e67a0542d11d9fbabf93b",
   "PackageInfoURL": "https://homalg-project.github.io/CAP_project/LinearAlgebraForCAP/PackageInfo.g",
   "PackageName": "LinearAlgebraForCAP",
   "PackageWWWHome": "https://homalg-project.github.io/pkg/LinearAlgebraForCAP",
@@ -103,5 +103,5 @@
   "Status": "deposited",
   "Subtitle": "Category of Matrices over a Field for CAP",
   "TestFile": "tst/testall.g",
-  "Version": "2025.06-02"
+  "Version": "2025.07-01"
 }
diff --git a/packages/modulepresentationsforcap/meta.json b/packages/modulepresentationsforcap/meta.json
@@ -1,8 +1,8 @@
 {
   "AbstractHTML": "<span class=\"pkgname\">ModulePresentationsForCAP</span> provides the category of finitely presented modules over a computable ring.",
   "ArchiveFormats": ".tar.gz .zip",
-  "ArchiveSHA256": "96d724bff6468a7acf99d16cf7848f3c99ca4c0bbb31007b1c3ae2a8e9f6db69",
-  "ArchiveURL": "https://github.com/homalg-project/CAP_project/releases/download/ModulePresentationsForCAP-2025.06-01/ModulePresentationsForCAP-2025.06-01",
+  "ArchiveSHA256": "5175975d2f6455abffb979872655d23df8db8b6d06bd0d52b76dd854dc63670c",
+  "ArchiveURL": "https://github.com/homalg-project/CAP_project/releases/download/ModulePresentationsForCAP-2025.06-02/ModulePresentationsForCAP-2025.06-02",
   "AvailabilityTest": null,
   "Date": "2025-07-01",
   "Dependencies": {
@@ -36,6 +36,10 @@
         [
           "FreydCategoriesForCAP",
           ">= 2024.01-03"
+        ],
+        [
+          "AdditiveClosuresForCAP",
+          ">= 2025.06-01"
         ]
       ]
     }
@@ -54,7 +58,7 @@
       "SixFile": "doc/manual.six"
     }
   ],
-  "PackageInfoSHA256": "862f9e720a240bb422db2cef17a5afee238e98c45a8b8fb648f15378b473d7f3",
+  "PackageInfoSHA256": "c59dda30253c2af540f3e7fa6a720ee180c8d5dd50bc0c4aa3c3cfbd3712c77e",
   "PackageInfoURL": "https://homalg-project.github.io/CAP_project/ModulePresentationsForCAP/PackageInfo.g",
   "PackageName": "ModulePresentationsForCAP",
   "PackageWWWHome": "https://homalg-project.github.io/pkg/ModulePresentationsForCAP",
@@ -101,5 +105,5 @@
   "Status": "deposited",
   "Subtitle": "Category R-pres for CAP",
   "TestFile": "tst/testall.g",
-  "Version": "2025.06-01"
+  "Version": "2025.06-02"
 }

Original file line number	Diff line number	Diff line change
`@@ -1,10 +1,10 @@`
`1`	`1`	`{`
`2`	`2`	`"AbstractHTML": "<span class=\"pkgname\">LinearAlgebraForCAP</span> provides a skeletal model of the category of finite dimensional vector spaces over a computable field.",`
`3`	`3`	`"ArchiveFormats": ".tar.gz .zip",`
`4`		`- "ArchiveSHA256": "02e79333eadd074b1a1e3a2b68041cfe243d550b204d78c326b0b2fe6d7c1fcd",`
`5`		`- "ArchiveURL": "https://github.com/homalg-project/CAP_project/releases/download/LinearAlgebraForCAP-2025.06-02/LinearAlgebraForCAP-2025.06-02",`
	`4`	`+ "ArchiveSHA256": "cb78d5507370f13434b4cbbe73213f1598f7823d814003a87ddae177f900b553",`
	`5`	`+ "ArchiveURL": "https://github.com/homalg-project/CAP_project/releases/download/LinearAlgebraForCAP-2025.07-01/LinearAlgebraForCAP-2025.07-01",`
`6`	`6`	`"AvailabilityTest": null,`
`7`		`- "Date": "2025-06-15",`
	`7`	`+ "Date": "2025-07-03",`
`8`	`8`	`"Dependencies": {`
`9`	`9`	`"ExternalConditions": [],`
`10`	`10`	`"GAP": ">= 4.13.0",`
`@@ -36,8 +36,8 @@`
`36`	`36`	`"filename": "gap/MatrixCategory_as_CategoryOfRows.gi",`
`37`	`37`	`"needed": [`
`38`	`38`	`[`
`39`		`- "FreydCategoriesForCAP",`
`40`		`- ">= 2024.08-07"`
	`39`	`+ "AdditiveClosuresForCAP",`
	`40`	`+ ">= 2025.06-01"`
`41`	`41`	`]`
`42`	`42`	`]`
`43`	`43`	`}`
`@@ -56,7 +56,7 @@`
`56`	`56`	`"SixFile": "doc/manual.six"`
`57`	`57`	`}`
`58`	`58`	`],`
`59`		`- "PackageInfoSHA256": "6aa3009c38ee1a4e0f2f92b6f059537c6ece04f6f2395c0bcf4b314f90e67db4",`
	`59`	`+ "PackageInfoSHA256": "215cdefe4a526c5f6b40c9103907feabd6d6f3fd7d0e67a0542d11d9fbabf93b",`
`60`	`60`	`"PackageInfoURL": "https://homalg-project.github.io/CAP_project/LinearAlgebraForCAP/PackageInfo.g",`
`61`	`61`	`"PackageName": "LinearAlgebraForCAP",`
`62`	`62`	`"PackageWWWHome": "https://homalg-project.github.io/pkg/LinearAlgebraForCAP",`
`@@ -103,5 +103,5 @@`
`103`	`103`	`"Status": "deposited",`
`104`	`104`	`"Subtitle": "Category of Matrices over a Field for CAP",`
`105`	`105`	`"TestFile": "tst/testall.g",`
`106`		`- "Version": "2025.06-02"`
	`106`	`+ "Version": "2025.07-01"`
`107`	`107`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1,8 +1,8 @@`
`1`	`1`	`{`
`2`	`2`	`"AbstractHTML": "<span class=\"pkgname\">ModulePresentationsForCAP</span> provides the category of finitely presented modules over a computable ring.",`
`3`	`3`	`"ArchiveFormats": ".tar.gz .zip",`
`4`		`- "ArchiveSHA256": "96d724bff6468a7acf99d16cf7848f3c99ca4c0bbb31007b1c3ae2a8e9f6db69",`
`5`		`- "ArchiveURL": "https://github.com/homalg-project/CAP_project/releases/download/ModulePresentationsForCAP-2025.06-01/ModulePresentationsForCAP-2025.06-01",`
	`4`	`+ "ArchiveSHA256": "5175975d2f6455abffb979872655d23df8db8b6d06bd0d52b76dd854dc63670c",`
	`5`	`+ "ArchiveURL": "https://github.com/homalg-project/CAP_project/releases/download/ModulePresentationsForCAP-2025.06-02/ModulePresentationsForCAP-2025.06-02",`
`6`	`6`	`"AvailabilityTest": null,`
`7`	`7`	`"Date": "2025-07-01",`
`8`	`8`	`"Dependencies": {`
`@@ -36,6 +36,10 @@`
`36`	`36`	`[`
`37`	`37`	`"FreydCategoriesForCAP",`
`38`	`38`	`">= 2024.01-03"`
	`39`	`+ ],`
	`40`	`+ [`
	`41`	`+ "AdditiveClosuresForCAP",`
	`42`	`+ ">= 2025.06-01"`
`39`	`43`	`]`
`40`	`44`	`]`
`41`	`45`	`}`
`@@ -54,7 +58,7 @@`
`54`	`58`	`"SixFile": "doc/manual.six"`
`55`	`59`	`}`
`56`	`60`	`],`
`57`		`- "PackageInfoSHA256": "862f9e720a240bb422db2cef17a5afee238e98c45a8b8fb648f15378b473d7f3",`
	`61`	`+ "PackageInfoSHA256": "c59dda30253c2af540f3e7fa6a720ee180c8d5dd50bc0c4aa3c3cfbd3712c77e",`
`58`	`62`	`"PackageInfoURL": "https://homalg-project.github.io/CAP_project/ModulePresentationsForCAP/PackageInfo.g",`
`59`	`63`	`"PackageName": "ModulePresentationsForCAP",`
`60`	`64`	`"PackageWWWHome": "https://homalg-project.github.io/pkg/ModulePresentationsForCAP",`
`@@ -101,5 +105,5 @@`
`101`	`105`	`"Status": "deposited",`
`102`	`106`	`"Subtitle": "Category R-pres for CAP",`
`103`	`107`	`"TestFile": "tst/testall.g",`
`104`		`- "Version": "2025.06-01"`
	`108`	`+ "Version": "2025.06-02"`
`105`	`109`	`}`