From 31b821fa12f05bc428ad133698afd0f226533832 Mon Sep 17 00:00:00 2001
From: Eric Bailey <eric@ericb.me>
Date: Fri, 24 Apr 2020 02:02:32 -0500
Subject: [PATCH] Add missing List modules to contrib.ipkg

---
 libs/contrib/Data/List/Permutations.idr | 2 +-
 libs/contrib/contrib.ipkg               | 4 +++-
 2 files changed, 4 insertions(+), 2 deletions(-)

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