From 32b60401ffc15a49961c6e30d695dd05c11ad3dd Mon Sep 17 00:00:00 2001
From: Fabian Zickgraf <f.zickgraf@dashdos.com>
Date: Fri, 30 Sep 2022 09:58:48 +0200
Subject: [PATCH] Bump version

---
 PackageInfo.g | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/PackageInfo.g b/PackageInfo.g
index 38c72f2..7c1adc0 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -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",
@@ -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 := [