@@ -104,6 +104,7 @@ Extra-source-files:
104104 libs/base/Data/Vect/*.idr
105105 libs/base/Debug/*.idr
106106 libs/base/Language/Reflection/*.idr
107+ libs/base/Network/*.idr
107108 libs/base/Makefile
108109 libs/base/System/*.idr
109110 libs/base/System/Concurrency/*.idr
@@ -111,6 +112,7 @@ Extra-source-files:
111112
112113 libs/contrib/contrib.ipkg
113114 libs/contrib/Makefile
115+ libs/contrib/Classes/*.idr
114116 libs/contrib/Control/*.idr
115117 libs/contrib/Control/Isomorphism/*.idr
116118 libs/contrib/Data/*.idr