@@ -104,6 +104,7 @@ Extra-source-files:
104 libs/base/Data/Vect/*.idr
104 libs/base/Data/Vect/*.idr
105 libs/base/Debug/*.idr
105 libs/base/Debug/*.idr
106 libs/base/Language/Reflection/*.idr
106 libs/base/Language/Reflection/*.idr
107+ libs/base/Network/*.idr
107 libs/base/Makefile
108 libs/base/Makefile
108 libs/base/System/*.idr
109 libs/base/System/*.idr
109 libs/base/System/Concurrency/*.idr
110 libs/base/System/Concurrency/*.idr
@@ -111,6 +112,7 @@ Extra-source-files:
112 libs/contrib/contrib.ipkg
113 libs/contrib/contrib.ipkg
113 libs/contrib/Makefile
114 libs/contrib/Makefile
115+ libs/contrib/Classes/*.idr
114 libs/contrib/Control/*.idr
116 libs/contrib/Control/*.idr
115 libs/contrib/Control/Isomorphism/*.idr
117 libs/contrib/Control/Isomorphism/*.idr
116 libs/contrib/Data/*.idr
118 libs/contrib/Data/*.idr