@@ -115,7 +115,7 @@ Extra-source-files:
115115 libs/base/Control/Monad/*.idr
116116 libs/base/Data/*.idr
117117 libs/base/Data/Nat/*.idr
118− libs/base/Data/Primitive/*.idr
118+ libs/base/Data/Primitives/*.idr
119119 libs/base/Data/List/*.idr
120120 libs/base/Data/Vect/*.idr
121121 libs/base/Data/String/*.idr