diff --git a/CartesianCategories/PackageInfo.g b/CartesianCategories/PackageInfo.g index 9d3347ef31..9471305aea 100644 --- a/CartesianCategories/PackageInfo.g +++ b/CartesianCategories/PackageInfo.g @@ -10,7 +10,7 @@ SetPackageInfo( rec( PackageName := "CartesianCategories", Subtitle := "Cartesian and cocartesian categories and various subdoctrines", -Version := "2023.08-03", +Version := "2023.08-04", Date := "2023-08-15", Date := "2023-08-15", License := "GPL-2.0-or-later", diff --git a/CartesianCategories/doc/chap0.html b/CartesianCategories/doc/chap0.html index 8a07a2fe2a..e4511bfc83 100644 --- a/CartesianCategories/doc/chap0.html +++ b/CartesianCategories/doc/chap0.html @@ -29,7 +29,7 @@
- 2023.08-03
+ 2023.08-0415 August 2023 diff --git a/CartesianCategories/doc/chap0.txt b/CartesianCategories/doc/chap0.txt index f58967ccfb..0642ec6538 100644 --- a/CartesianCategories/doc/chap0.txt +++ b/CartesianCategories/doc/chap0.txt @@ -6,7 +6,7 @@ [1X Cartesian and cocartesian categories and various subdoctrines [101X - 2023.08-03 + 2023.08-04 15 August 2023 diff --git a/CartesianCategories/doc/chap0_mj.html b/CartesianCategories/doc/chap0_mj.html index a72a2f3fb8..3f659b8784 100644 --- a/CartesianCategories/doc/chap0_mj.html +++ b/CartesianCategories/doc/chap0_mj.html @@ -32,7 +32,7 @@
- 2023.08-03
+ 2023.08-0415 August 2023 diff --git a/_data/CartesianCategories.yml b/_data/CartesianCategories.yml index 493488fc75..ab55a8cccd 100644 --- a/_data/CartesianCategories.yml +++ b/_data/CartesianCategories.yml @@ -1,5 +1,5 @@ name: CartesianCategories -version: "2023.08-03" +version: "2023.08-04" license: "GPL-2.0-or-later" date: 2023-08-15 description: | @@ -39,11 +39,11 @@ packageinfo: https://homalg-project.github.io/CAP_project/CartesianCategories/Pa downloads: - name: .tar.gz - url: https://github.com/homalg-project/CAP_project/releases/download/CartesianCategories-2023.08-03/CartesianCategories-2023.08-03.tar.gz + url: https://github.com/homalg-project/CAP_project/releases/download/CartesianCategories-2023.08-04/CartesianCategories-2023.08-04.tar.gz - name: .zip - url: https://github.com/homalg-project/CAP_project/releases/download/CartesianCategories-2023.08-03/CartesianCategories-2023.08-03.zip + url: https://github.com/homalg-project/CAP_project/releases/download/CartesianCategories-2023.08-04/CartesianCategories-2023.08-04.zip -pdf: https://github.com/homalg-project/CAP_project/releases/download/CartesianCategories-2023.08-03/CartesianCategories-2023.08-03-manual.pdf +pdf: https://github.com/homalg-project/CAP_project/releases/download/CartesianCategories-2023.08-04/CartesianCategories-2023.08-04-manual.pdf abstract: | @@ -56,7 +56,7 @@ citeas: |
[BZK15] Barakat, M., Zickgraf, F. and Kuhmichel, T.,
CartesianCategories, Cartesian and cocartesian categories and various subdoctrines,
- Version 2023.08-03
+ Version 2023.08-04
(8-15)
(GAP package),
https://homalg-project.github.io/pkg/CartesianCategories.
@@ -64,11 +64,11 @@ citeas: |
bibtex: |
- @misc{ CartesianCategories2023.08-03,
+ @misc{ CartesianCategories2023.08-04,
author = {Barakat, M. and Zickgraf, F. and Kuhmichel, T.},
title = {{CartesianCategories}, Cartesian and cocartesian
categories and various subdoctrines, {V}ersion
- 2023.08-03},
+ 2023.08-04},
month = {3-},
year = {8-15},
note = {GAP package},