Skip to content

Commit

Permalink
Bump version
Browse files Browse the repository at this point in the history
  • Loading branch information
zickgraf committed Sep 30, 2022
1 parent efd7b88 commit 32b6040
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "FinGSetsForCAP",
Subtitle := "The elementary topos of (skeletal) finite G-sets",
Version := "2021.05-02",
Version := "2022.09-01",

Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
License := "GPL-2.0-or-later",
Expand Down Expand Up @@ -99,7 +99,7 @@ Dependencies := rec(
GAP := ">= 4.11.1",
NeededOtherPackages := [
[ "GAPDoc", ">= 1.5" ],
[ "CAP", ">= 2021.05-02" ],
[ "CAP", ">= 2022.09-23" ],
[ "Toposes", ">= 2021.03-01" ],
],
SuggestedOtherPackages := [
Expand Down

0 comments on commit 32b6040

Please sign in to comment.