diff --git a/PackageInfo.g b/PackageInfo.g
index 9f6fb97..b306bf8 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -103,11 +103,11 @@ Dependencies := rec(
                    [ "CAP", ">= 2022.04-08" ],
                    [ "MonoidalCategories", ">= 2021.08-01" ],
                    [ "LinearAlgebraForCAP", ">= 2021.07-01" ],
-                   [ "FinSetsForCAP", ">= 2020.04.01" ],
+                   [ "FinSetsForCAP", ">= 2022.05-07" ],
                    [ "CategoryConstructor", ">= 2022.03-01" ],
                    [ "SubcategoriesForCAP", ">= 2020.06-01" ],
                    [ "MatricesForHomalg", ">= 2020.02.02" ],
-                   [ "Toposes", ">= 2022.04-29" ],
+                   [ "Toposes", ">= 2022.05-07" ],
                    [ "Algebroids", ">= 2022.05-05" ],
                    [ "FunctorCategories", ">= 2022.05-09" ],
                    ],
diff --git a/README.md b/README.md
index e942f0f..896f94d 100644
--- a/README.md
+++ b/README.md
@@ -58,7 +58,7 @@ The supported categorical doctrine of the category of representations is
 
 ```gap
 gap> InfoOfInstalledOperationsOfCategory( CatReps );
-98 primitive operations were used to derive 318 operations for this category
+98 primitive operations were used to derive 317 operations for this category
 which constructively
 * IsEquippedWithHomomorphismStructure
 * IsLinearCategoryOverCommutativeRing
diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g
index f037a22..0612461 100644
--- a/examples/CategoryOfRepresentations.g
+++ b/examples/CategoryOfRepresentations.g
@@ -33,7 +33,7 @@ CatReps := FunctorCategory( A, GF3 );
 #! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations,
 #! Category of matrices over GF(3) )
 InfoOfInstalledOperationsOfCategory( CatReps );
-#! 98 primitive operations were used to derive 318 operations for this category
+#! 98 primitive operations were used to derive 317 operations for this category
 #! which constructively
 #! * IsEquippedWithHomomorphismStructure
 #! * IsLinearCategoryOverCommutativeRing
diff --git a/examples/julia/notebooks/CategoryOfRepresentations.ipynb b/examples/julia/notebooks/CategoryOfRepresentations.ipynb
index 3c754de..debea85 100644
--- a/examples/julia/notebooks/CategoryOfRepresentations.ipynb
+++ b/examples/julia/notebooks/CategoryOfRepresentations.ipynb
@@ -479,7 +479,7 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "98 primitive operations were used to derive 318 operations for this category which constructively\n",
+      "98 primitive operations were used to derive 317 operations for this category which constructively\n",
       "* IsEquippedWithHomomorphismStructure\n",
       "* IsLinearCategoryOverCommutativeRing\n",
       "* IsSymmetricMonoidalCategory\n",