Update website for FreydCategoriesForCAP 2025.06-08

Author: Bot

FreydCategoriesForCAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FreydCategoriesForCAP",
 Subtitle := "Freyd categories - Formal (co)kernels for additive categories",
-Version := "2025.06-07",
+Version := "2025.06-08",
 Date := "2025-06-28",
 License := "GPL-2.0-or-later",
 
@@ -118,6 +118,9 @@ Extensions := [
   rec(
     needed := [ [ "FinSetsForCAP", ">= 2023.07-03" ] ],
     filename := "gap/LinearClosure.gi",
+  ),
+  rec(
+    needed := [ [ "FinSetsForCAP", ">= 2023.07-03" ] ],
     filename := "gap/ProSetsAsCats.gi",
   ),
   rec(

FreydCategoriesForCAP/doc/chap0.html

@@ -29,7 +29,7 @@ <h1>FreydCategoriesForCAP</h1>
 <h2>Freyd categories - Formal (co)kernels for additive categories</h2>
 
 <p>
-    2025.06-07</p>
+    2025.06-08</p>
 
 <p>
     28 June 2025

FreydCategoriesForCAP/doc/chap0.txt

@@ -6,7 +6,7 @@
          Freyd categories - Formal (co)kernels for additive categories 
 
 
-                                   2025.06-07
+                                   2025.06-08
 
 
                                   28 June 2025

FreydCategoriesForCAP/doc/chap0_mj.html

@@ -32,7 +32,7 @@ <h1>FreydCategoriesForCAP</h1>
 <h2>Freyd categories - Formal (co)kernels for additive categories</h2>
 
 <p>
-    2025.06-07</p>
+    2025.06-08</p>
 
 <p>
     28 June 2025

_data/FreydCategoriesForCAP.yml

@@ -1,5 +1,5 @@
 name: FreydCategoriesForCAP
-version: "2025.06-07"
+version: "2025.06-08"
 license: "GPL-2.0-or-later"
 date: 2025-06-28
 description: |
@@ -53,11 +53,11 @@ packageinfo: https://homalg-project.github.io/CAP_project/FreydCategoriesForCAP/
 
 downloads:
     - name: .tar.gz
-      url: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2025.06-07/FreydCategoriesForCAP-2025.06-07.tar.gz
+      url: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2025.06-08/FreydCategoriesForCAP-2025.06-08.tar.gz
     - name: .zip
-      url: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2025.06-07/FreydCategoriesForCAP-2025.06-07.zip
+      url: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2025.06-08/FreydCategoriesForCAP-2025.06-08.zip
 
-pdf: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2025.06-07/FreydCategoriesForCAP-2025.06-07-manual.pdf
+pdf: https://github.com/homalg-project/CAP_project/releases/download/FreydCategoriesForCAP-2025.06-08/FreydCategoriesForCAP-2025.06-08-manual.pdf
 
 abstract: |
 
@@ -68,7 +68,7 @@ citeas: |
     <p class='BibEntry'>
     [<span class='BibKey'>PBZ28</span>]   <b class='BibAuthor'>Posur, S., Bies, M. and Zickgraf, F.</b>,
      <i class='BibTitle'>FreydCategoriesForCAP, Freyd categories - Formal (co)kernels for additive categories,
-             Version 2025.06-07</i>
+             Version 2025.06-08</i>
      (<span class='BibYear'>6-28</span>)<br />
     (<span class='BibNote'>GAP package</span>),
     <span class='BibHowpublished'><a href="https://homalg-project.github.io/pkg/FreydCategoriesForCAP">https://homalg-project.github.io/pkg/FreydCategoriesForCAP</a></span>.
@@ -80,7 +80,7 @@ bibtex: |
       author =           {Posur, S. and Bies, M. and Zickgraf, F.},
       title =            {{FreydCategoriesForCAP},       {Freyd       categories
                           \texttt{\symbol{45}}  Formal  (co)kernels for additive
-                          categories}, {V}ersion 2025.06\texttt{\symbol{45}}07},
+                          categories}, {V}ersion 2025.06\texttt{\symbol{45}}08},
       month =            {5\texttt{\symbol{45}}},
       year =             {6\texttt{\symbol{45}}28},
       note =             {GAP package},