Moving Data.Seq.Internal, Data.Seq.Sized, and Data.Seq.Unsized from c…

…ontrib.
idris-community · Dec 13, 2024 · 1b19624 · 1b19624
1 parent cc029f7
commit 1b19624
Show file tree

Hide file tree

Showing 4 changed files with 1,122 additions and 1 deletion.
diff --git a/containers.ipkg b/containers.ipkg
@@ -6,7 +6,6 @@ version    = 0.6.0
 sourcedir  = "src"
 depends    = base         >= 0.6.0
            , array
-           , contrib
            , elab-util
 
 modules = Data.Map
@@ -15,5 +14,8 @@ modules = Data.Map
         , Data.RRBVector.Internal
         , Data.Set
         , Data.Set.Internal
+        , Data.Seq.Sized
+        , Data.Seq.Unsized
+        , Data.Seq.Internal
         , Data.Queue
         , Data.Tree