@@ -99,7 +99,6 @@ Extra-source-files:
9999 libs/base/base.ipkg
100100 libs/base/*.idr
101101 libs/base/Control/*.idr
102− libs/base/Control/Isomorphism/*.idr
103102 libs/base/Control/Monad/*.idr
104103 libs/base/Data/*.idr
105104 libs/base/Data/Vect/*.idr
@@ -112,6 +111,7 @@ Extra-source-files:
112111
113112 libs/contrib/contrib.ipkg
114113 libs/contrib/Makefile
114+ libs/contrib/Control/Isomorphism/*.idr
115115 libs/contrib/Data/*.idr
116116 libs/contrib/Decidable/*.idr
117117 libs/contrib/Network/*.idr