@@ -104,14 +104,18 @@ Extra-source-files:
104104 libs/base/Data/*.idr
105105 libs/base/Data/Vect/*.idr
106106 libs/base/Debug/*.idr
107− libs/base/Decidable/*.idr
108107 libs/base/Language/Reflection/*.idr
109108 libs/base/Makefile
110109 libs/base/Network/*.idr
111110 libs/base/System/*.idr
112− libs/base/System/Concurrency/*.idr
113111 libs/base/Syntax/*.idr
114112
113+ libs/contrib/contrib.ipkg
114+ libs/contrib/Makefile
115+ libs/contrib/Data/*.idr
116+ libs/contrib/Decidable/*.idr
117+ libs/contrib/Network/*.idr
118+ libs/contrib/System/Concurrency/*.idr
115119
116120 libs/effects/Makefile
117121 libs/effects/effects.ipkg