Merge pull request #38 from mohamed-barakat/devel

comply with CAP v2022.04-08
homalg-project · May 2, 2022 · e81854f · e81854f
2 parents ad533ff + 7d01285
commit e81854f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CatReps",
 Subtitle := "Representations and cohomology of finite categories",
-Version := "2022.04-04",
+Version := "2022.04-05",
 
 Date := ~.Version{[ 1 .. 10 ]},
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
@@ -100,7 +100,7 @@ Dependencies := rec(
   GAP := ">= 4.9.1",
   NeededOtherPackages := [
                    [ "GAPDoc", ">= 1.5" ],
-                   [ "CAP", ">= 2022.03-08" ],
+                   [ "CAP", ">= 2022.04-08" ],
                    [ "MonoidalCategories", ">= 2021.08-01" ],
                    [ "LinearAlgebraForCAP", ">= 2021.07-01" ],
                    [ "FinSetsForCAP", ">= 2020.04.01" ],

diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g
@@ -36,7 +36,6 @@ InfoOfInstalledOperationsOfCategory( CatReps );
 #! * IsEquippedWithHomomorphismStructure
 #! * IsLinearCategoryOverCommutativeRing
 #! * IsSymmetricMonoidalCategory
-#! * IsBicartesianCategory
 #! * IsAbelianCategory
 CommutativeRingOfLinearCategory( CatReps );
 #! GF(3)