@@ -104,14 +104,18 @@ Extra-source-files:
104 libs/base/Data/*.idr
104 libs/base/Data/*.idr
105 libs/base/Data/Vect/*.idr
105 libs/base/Data/Vect/*.idr
106 libs/base/Debug/*.idr
106 libs/base/Debug/*.idr
107− libs/base/Decidable/*.idr
108 libs/base/Language/Reflection/*.idr
107 libs/base/Language/Reflection/*.idr
109 libs/base/Makefile
108 libs/base/Makefile
110 libs/base/Network/*.idr
109 libs/base/Network/*.idr
111 libs/base/System/*.idr
110 libs/base/System/*.idr
112− libs/base/System/Concurrency/*.idr
113 libs/base/Syntax/*.idr
111 libs/base/Syntax/*.idr
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
116 libs/effects/Makefile
120 libs/effects/Makefile
117 libs/effects/effects.ipkg
121 libs/effects/effects.ipkg