@@ -114,7 +114,7 @@ Extra-source-files:
114 libs/contrib/Classes/*.idr
114 libs/contrib/Classes/*.idr
115 libs/contrib/Control/*.idr
115 libs/contrib/Control/*.idr
116 libs/contrib/Control/Isomorphism/*.idr
116 libs/contrib/Control/Isomorphism/*.idr
117− libs/contrib/Control/Algebra/*.idr
117+ libs/contrib/Control/Algebra/*.idr
118 libs/contrib/Data/*.idr
118 libs/contrib/Data/*.idr
119 libs/contrib/Decidable/*.idr
119 libs/contrib/Decidable/*.idr
120 libs/contrib/Network/*.idr
120 libs/contrib/Network/*.idr