@@ -104,7 +104,6 @@ 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
108 libs/base/Makefile
107 libs/base/Makefile
109 libs/base/System/*.idr
108 libs/base/System/*.idr
110 libs/base/System/Concurrency/*.idr
109 libs/base/System/Concurrency/*.idr