@@ -99,7 +99,6 @@ Extra-source-files:
99 libs/base/base.ipkg
99 libs/base/base.ipkg
100 libs/base/*.idr
100 libs/base/*.idr
101 libs/base/Control/*.idr
101 libs/base/Control/*.idr
102− libs/base/Control/Isomorphism/*.idr
103 libs/base/Control/Monad/*.idr
102 libs/base/Control/Monad/*.idr
104 libs/base/Data/*.idr
103 libs/base/Data/*.idr
105 libs/base/Data/Vect/*.idr
104 libs/base/Data/Vect/*.idr
@@ -112,6 +111,7 @@ Extra-source-files:
113 libs/contrib/contrib.ipkg
112 libs/contrib/contrib.ipkg
114 libs/contrib/Makefile
113 libs/contrib/Makefile
114+ libs/contrib/Control/Isomorphism/*.idr
115 libs/contrib/Data/*.idr
115 libs/contrib/Data/*.idr
116 libs/contrib/Decidable/*.idr
116 libs/contrib/Decidable/*.idr
117 libs/contrib/Network/*.idr
117 libs/contrib/Network/*.idr