Merge pull request #64 from mohamed-barakat/devel

comply with newest mono-repo CategoricalTowers
homalg-project · Jan 29, 2023 · 9e603a5 · 9e603a5
2 parents aa0522d + 7a63f8c
commit 9e603a5
Showing 1 changed file with 16 additions and 16 deletions.
diff --git a/deps/homalg-project.jl b/deps/homalg-project.jl
@@ -128,27 +128,11 @@ global PACKAGES_BASED_ON_HOMALG = [
 global PACKAGES_BASED_ON_CAP = [
     "CAP_project",
     ##
-    "Algebroids",
-    "CategoryConstructor",
-    "CategoriesWithAmbientObjects",
     "CategoricalTowers",
-    "CatReps",
-    "ExteriorPowersCategories",
     "FinSetsForCAP",
     "FinGSetsForCAP",
-    "FunctorCategories",
-    "GradedCategories",
     "HigherHomologicalAlgebra",
-    "InternalModules",
-    "IntrinsicCategories",
-    "IntrinsicGradedModules",
-    "IntrinsicModules",
-    "LazyCategories",
-    "Locales",
     "QPA2",
-    "SubcategoriesForCAP",
-    "Toposes",
-    "ZariskiFrames",
 ]
 
 ##
@@ -179,17 +163,33 @@ global PACKAGES_TO_DOWNLOAD = vcat(PACKAGES_BASED_ON_HOMALG, PACKAGES_BASED_ON_C
 List of deprecated packages.
 """
 global PACKAGES_DEPRECATED = [
+    "Algebroids",
     "BBGG",
     "Bicomplexes",
+    "CategoryConstructor",
+    "CategoriesWithAmbientObjects",
+    "CatReps",
     "ComplexesCategories",
     "DerivedCategories",
+    "ExteriorPowersCategories",
     "FrobeniusCategories",
+    "FunctorCategories",
+    "GradedCategories",
     "HomotopyCategories",
+    "InternalModules",
+    "IntrinsicCategories",
+    "IntrinsicGradedModules",
+    "IntrinsicModules",
+    "LazyCategories",
+    "Locales",
     "ModelCategories",
     "QuotientCategories",
     "StableCategories",
+    "SubcategoriesForCAP",
+    "Toposes",
     "TriangulatedCategories",
     "WrapperCategories",
+    "ZariskiFrames",
 ]
 
 """