Skip to content

Commit

Permalink
Bump versions
Browse files Browse the repository at this point in the history
* MonoidalCategories
* CartesianCategories
  • Loading branch information
Tom Kuhmichel committed Oct 17, 2023
1 parent 68da97a commit e8f0492
Show file tree
Hide file tree
Showing 4 changed files with 8 additions and 8 deletions.
6 changes: 3 additions & 3 deletions CartesianCategories/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand Down Expand Up @@ -98,10 +98,10 @@ PackageDoc := rec(
Dependencies := rec(
GAP := ">= 4.12.1",
NeededOtherPackages := [
[ "CAP", ">= 2023.08-16" ],
[ "CAP", ">= 2023.10-07" ],
],
SuggestedOtherPackages := [
[ "MonoidalCategories", ">= 2023.08-11" ],
[ "MonoidalCategories", ">= 2023.10-02" ],
],
ExternalConditions := [ ],
),
Expand Down
2 changes: 1 addition & 1 deletion CartesianCategories/gap/AUTOGENERATED_FROM.md
Original file line number Diff line number Diff line change
@@ -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
4 changes: 2 additions & 2 deletions LinearAlgebraForCAP/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "LinearAlgebraForCAP",
Subtitle := "Category of Matrices over a Field for CAP",
Version := "2023.10-04",
Version := "2023.10-05",
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",

Expand Down Expand Up @@ -90,7 +90,7 @@ Dependencies := rec(
[ "MatricesForHomalg", ">= 2023.01-01" ],
[ "GaussForHomalg", ">= 2021.04-02" ],
[ "CAP", ">= 2023.10-07" ],
[ "MonoidalCategories", ">= 2023.10-01" ],
[ "MonoidalCategories", ">= 2023.10-02" ],
],
SuggestedOtherPackages := [
[ "FreydCategoriesForCAP", ">= 2022.12-02" ],
Expand Down
4 changes: 2 additions & 2 deletions MonoidalCategories/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -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",

Expand Down Expand Up @@ -118,7 +118,7 @@ Dependencies := rec(
GAP := ">= 4.12.1",
NeededOtherPackages := [
[ "ToolsForHomalg", ">= 2018.05.22" ],
[ "CAP", ">= 2023.08-16" ],
[ "CAP", ">= 2023.10-07" ],
],
SuggestedOtherPackages := [ ],
ExternalConditions := [ ],
Expand Down

0 comments on commit e8f0492

Please sign in to comment.