diff --git a/libs/contrib/Data/List/Permutations.idr b/libs/contrib/Data/List/Permutations.idr
index 9e7d0bfa67..f3315de42f 100644
--- a/libs/contrib/Data/List/Permutations.idr
+++ b/libs/contrib/Data/List/Permutations.idr
@@ -1,4 +1,4 @@
-module Permutations
+module Data.List.Permutations
 
 %access export
 
diff --git a/libs/contrib/contrib.ipkg b/libs/contrib/contrib.ipkg
index 1c29c26a0b..045b05b619 100644
--- a/libs/contrib/contrib.ipkg
+++ b/libs/contrib/contrib.ipkg
@@ -43,8 +43,10 @@ modules = CFFI
         , Data.Hash
         , Data.Heap
         , Data.IOArray
-        , Data.List.Zipper
+        , Data.List.Group
+        , Data.List.Permutations
         , Data.List.Reverse
+        , Data.List.Zipper
 
         , Data.Matrix
         , Data.Matrix.Algebraic