@@ -55,6 +55,7 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
55 lib/Control/Monad/*.idr lib/Language/*.idr
55 lib/Control/Monad/*.idr lib/Language/*.idr
56 lib/System/Concurrency/*.idr
56 lib/System/Concurrency/*.idr
57 lib/Data/*.idr lib/Debug/*.idr
57 lib/Data/*.idr lib/Debug/*.idr
58 tutorial/examples/*.idr lib/base.ipkg
59 tutorial/examples/*.idr lib/base.ipkg
60 rts/*.c rts/*.h rts/Makefile
61 rts/*.c rts/*.h rts/Makefile