From c6ff11576fbe031ab0e11defa65bf8c601c3b472 Mon Sep 17 00:00:00 2001 From: Tom Kuhmichel Date: Tue, 17 Oct 2023 13:38:10 +0200 Subject: [PATCH] Bump versions * MonoidalCategories * CartesianCategories --- CartesianCategories/PackageInfo.g | 2 +- CartesianCategories/gap/AUTOGENERATED_FROM.md | 2 +- MonoidalCategories/PackageInfo.g | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/CartesianCategories/PackageInfo.g b/CartesianCategories/PackageInfo.g index 01612ec834..cfb22117c0 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.10-01", +Version := "2023.10-02", Date := ~.Version{[ 1 .. 10 ]}, Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ), License := "GPL-2.0-or-later", diff --git a/CartesianCategories/gap/AUTOGENERATED_FROM.md b/CartesianCategories/gap/AUTOGENERATED_FROM.md index 2e06c77203..017529ecf7 100644 --- a/CartesianCategories/gap/AUTOGENERATED_FROM.md +++ b/CartesianCategories/gap/AUTOGENERATED_FROM.md @@ -1,3 +1,3 @@ The files of this package which include the line `THIS FILE WAS AUTOMATICALLY GENERATED` in their header have been autogenerated -* from MonoidalCategories v2023.10-01 +* from MonoidalCategories v2023.10-02 diff --git a/MonoidalCategories/PackageInfo.g b/MonoidalCategories/PackageInfo.g index 7f671df4fc..9295a6ab5e 100644 --- a/MonoidalCategories/PackageInfo.g +++ b/MonoidalCategories/PackageInfo.g @@ -10,7 +10,7 @@ SetPackageInfo( rec( PackageName := "MonoidalCategories", Subtitle := "Monoidal and monoidal (co)closed categories", -Version := "2023.10-01", +Version := "2023.10-02", Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ), License := "GPL-2.0-or-later",