Merge pull request #72 from zickgraf/master

homalg-project · Feb 22, 2023 · 49df825 · 49df825
2 parents 3959f71 + 6c67757
commit 49df825
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/deps/homalg-project.jl b/deps/homalg-project.jl
@@ -142,8 +142,6 @@ global PACKAGES_BASED_ON_TORIC_VARIETIES = [
 
 ##
 global PACKAGES_NEEDED = [
-    ##
-    "InfiniteLists",
 ]
 
 """
@@ -176,6 +174,7 @@ global PACKAGES_DEPRECATED = [
     "FunctorCategories",
     "GradedCategories",
     "HomotopyCategories",
+    "InfiniteLists",
     "InternalModules",
     "IntrinsicCategories",
     "IntrinsicGradedModules",