From 6c677571118938dba3886ad28fcb86e1b9a7e36f Mon Sep 17 00:00:00 2001
From: Fabian Zickgraf <f.zickgraf@dashdos.com>
Date: Wed, 22 Feb 2023 14:19:09 +0100
Subject: [PATCH] Move InfiniteLists to deprecated packages

---
 deps/homalg-project.jl | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/deps/homalg-project.jl b/deps/homalg-project.jl
index e180893..e1a4a7e 100644
--- 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",