Update website for LazyCategories 2024.09-01

homalg-project · Sep 7, 2024 · 8d73cc7 · 8d73cc7
1 parent 96b2cf7
commit 8d73cc7
Show file tree

Hide file tree

Showing 5 changed files with 22 additions and 22 deletions.
diff --git a/LazyCategories/PackageInfo.g b/LazyCategories/PackageInfo.g
@@ -10,9 +10,9 @@ SetPackageInfo( rec(
 
 PackageName := "LazyCategories",
 Subtitle := "Construct an equivalent lazy category out of a CAP category",
-Version := "2024.06-02",
-Date := "2024-07-01",
-Date := "2024-07-01",
+Version := "2024.09-01",
+Date := "2024-09-07",
+Date := "2024-09-07",
 License := "GPL-2.0-or-later",
 
 Persons := [
@@ -73,7 +73,7 @@ Dependencies := rec(
                    [ "GAPDoc", ">= 1.5" ],
                    [ "ToolsForHomalg", ">= 2021.12-02" ],
                    [ "CAP", ">= 2023.08-04" ],
-                   [ "MonoidalCategories", ">= 2022.06-03" ],
+                   [ "MonoidalCategories", ">= 2024.09-02" ],
                    [ "ToolsForCategoricalTowers", ">= 2023.11-03" ],
                    [ "Toposes", ">= 2022.04-19" ],
                   ],

diff --git a/LazyCategories/doc/chap0.html b/LazyCategories/doc/chap0.html
@@ -29,10 +29,10 @@ <h1>LazyCategories</h1>
 <h2>Construct an equivalent lazy category out of a CAP category</h2>
 
 <p>
-    2024.06-02</p>
+    2024.09-01</p>
 
 <p>
-    1 July 2024
+    7 September 2024
   </p>
 
 </div>

diff --git a/LazyCategories/doc/chap0.txt b/LazyCategories/doc/chap0.txt
@@ -6,10 +6,10 @@
          [1X Construct an equivalent lazy category out of a CAP category [101X
 
 
-                                   2024.06-02
+                                   2024.09-01
 
 
-                                  1 July 2024
+                                7 September 2024
 
 
                                 Mohamed Barakat

diff --git a/LazyCategories/doc/chap0_mj.html b/LazyCategories/doc/chap0_mj.html
@@ -32,10 +32,10 @@ <h1>LazyCategories</h1>
 <h2>Construct an equivalent lazy category out of a CAP category</h2>
 
 <p>
-    2024.06-02</p>
+    2024.09-01</p>
 
 <p>
-    1 July 2024
+    7 September 2024
   </p>
 
 </div>

diff --git a/_data/LazyCategories.yml b/_data/LazyCategories.yml
@@ -1,7 +1,7 @@
 name: LazyCategories
-version: "2024.06-02"
+version: "2024.09-01"
 license: "GPL-2.0-or-later"
-date: 2024-07-01
+date: 2024-09-07
 description: |
     Construct an equivalent lazy category out of a CAP category
 
@@ -26,7 +26,7 @@ needed-pkgs:
       version: ">= 2023.08-04"
       url: "https://homalg-project.github.io/pkg/CAP"
     - name: "MonoidalCategories"
-      version: ">= 2022.06-03"
+      version: ">= 2024.09-02"
       url: "https://homalg-project.github.io/pkg/MonoidalCategories"
     - name: "ToolsForCategoricalTowers"
       version: ">= 2023.11-03"
@@ -46,11 +46,11 @@ packageinfo: https://homalg-project.github.io/CategoricalTowers/LazyCategories/P
 
 downloads:
     - name: .tar.gz
-      url: https://github.com/homalg-project/CategoricalTowers/releases/download/LazyCategories-2024.06-02/LazyCategories-2024.06-02.tar.gz
+      url: https://github.com/homalg-project/CategoricalTowers/releases/download/LazyCategories-2024.09-01/LazyCategories-2024.09-01.tar.gz
     - name: .zip
-      url: https://github.com/homalg-project/CategoricalTowers/releases/download/LazyCategories-2024.06-02/LazyCategories-2024.06-02.zip
+      url: https://github.com/homalg-project/CategoricalTowers/releases/download/LazyCategories-2024.09-01/LazyCategories-2024.09-01.zip
 
-pdf: https://github.com/homalg-project/CategoricalTowers/releases/download/LazyCategories-2024.06-02/LazyCategories-2024.06-02-manual.pdf
+pdf: https://github.com/homalg-project/CategoricalTowers/releases/download/LazyCategories-2024.09-01/LazyCategories-2024.09-01-manual.pdf
 
 abstract: |
 
@@ -59,10 +59,10 @@ doc-html: doc/chap0.html
 doc-pdf: doc/manual.pdf
 citeas: |
     <p class='BibEntry'>
-    [<span class='BibKey'>Bar01</span>]   <b class='BibAuthor'>Barakat, M.</b>,
+    [<span class='BibKey'>Bar07</span>]   <b class='BibAuthor'>Barakat, M.</b>,
      <i class='BibTitle'>LazyCategories, Construct an equivalent lazy category out of a CAP category,
-             Version 2024.06-02</i>
-     (<span class='BibYear'>7-01</span>)<br />
+             Version 2024.09-01</i>
+     (<span class='BibYear'>9-07</span>)<br />
     (<span class='BibNote'>GAP package</span>),
     <span class='BibHowpublished'><a href="https://homalg-project.github.io/pkg/LazyCategories">https://homalg-project.github.io/pkg/LazyCategories</a></span>.
     </p>
@@ -73,15 +73,15 @@ bibtex: |
       author =           {Barakat, M.},
       title =            {{LazyCategories},   Construct   an   equivalent   lazy
                           category    out   of   a   CAP   category,   {V}ersion
-                          2024.06\texttt{\symbol{45}}02},
+                          2024.09\texttt{\symbol{45}}01},
       month =            {4\texttt{\symbol{45}}},
-      year =             {7\texttt{\symbol{45}}01},
+      year =             {9\texttt{\symbol{45}}07},
       note =             {GAP package},
       howpublished =     {\href
                           {https://homalg-project.github.io/pkg/LazyCategories}
                           {\texttt{https://homalg\texttt{\symbol{45}}project.github.io/}\discretionary
                           {}{}{}\texttt{pkg/}\discretionary
                           {}{}{}\texttt{LazyCategories}}},
-      printedkey =       {Bar01}
+      printedkey =       {Bar07}
     }