diff --git a/idris.cabal b/idris.cabal
index 215147d13..c5f1666d9 100644
--- a/idris.cabal
+++ b/idris.cabal
@@ -104,14 +104,18 @@ Extra-source-files:
                        libs/base/Data/*.idr
                        libs/base/Data/Vect/*.idr
                        libs/base/Debug/*.idr
-                       libs/base/Decidable/*.idr
                        libs/base/Language/Reflection/*.idr
                        libs/base/Makefile
                        libs/base/Network/*.idr
                        libs/base/System/*.idr
-                       libs/base/System/Concurrency/*.idr
                        libs/base/Syntax/*.idr
 
+                       libs/contrib/contrib.ipkg
+                       libs/contrib/Makefile
+                       libs/contrib/Data/*.idr
+                       libs/contrib/Decidable/*.idr
+                       libs/contrib/Network/*.idr
+                       libs/contrib/System/Concurrency/*.idr
 
                        libs/effects/Makefile
                        libs/effects/effects.ipkg