Merge pull request #179 from kamalsaleh/rebase_on_path_categories

Start using FpCategories (quivers, path categories and their linear closures or quotients)
homalg-project · Dec 1, 2023 · 3335ee4 · 3335ee4
2 parents f475601 + 007a781
commit 3335ee4
Show file tree

Hide file tree

Showing 9 changed files with 918 additions and 820 deletions.
diff --git a/DerivedCategories/PackageInfo.g b/DerivedCategories/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "DerivedCategories",
 Subtitle := "Derived categories of Abelian categories",
-Version := "2023.11-02",
+Version := "2023.12-01",
 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",
 
@@ -73,7 +73,7 @@ Dependencies := rec(
   NeededOtherPackages := [
         [ "CAP", ">= 2022.09-17" ],
         [ "SubcategoriesForCAP", ">= 2020.10-02" ],
-        [ "HomotopyCategories", ">= 2021.11-02" ],
+        [ "HomotopyCategories", ">= 2023.12-01" ],
         [ "ToolsForHigherHomologicalAlgebra", ">= 2020.10-02" ],
         #[ "PreSheaves", ">= 2022.11-04"],
       ],