@@ -66,31 +66,31 @@ Extra-source-files:
6666 rts/*.h
6767 rts/Makefile
6868
69− lib/base.ipkg
70− lib/*.idr
71− lib/Control/*.idr
72− lib/Control/Monad/*.idr
73− lib/Data/*.idr
74− lib/Data/Vect/*.idr
75− lib/Debug/*.idr
76− lib/Decidable/*.idr
77− lib/Language/*.idr
78− lib/Language/Reflection/*.idr
79− lib/Makefile
80− lib/Network/*.idr
81− lib/Prelude/*.idr
82− lib/System/Concurrency/*.idr
69+ libs/base/base.ipkg
70+ libs/base/*.idr
71+ libs/base/Control/*.idr
72+ libs/base/Control/Monad/*.idr
73+ libs/base/Data/*.idr
74+ libs/base/Data/Vect/*.idr
75+ libs/base/Debug/*.idr
76+ libs/base/Decidable/*.idr
77+ libs/base/Language/*.idr
78+ libs/base/Language/Reflection/*.idr
79+ libs/base/Makefile
80+ libs/base/Network/*.idr
81+ libs/base/Prelude/*.idr
82+ libs/base/System/Concurrency/*.idr
8383
84− effects/Makefile
85− effects/effects.ipkg
86− effects/Effect/*.idr
87− effects/*.idr
84+ libs/effects/Makefile
85+ libs/effects/effects.ipkg
86+ libs/effects/Effect/*.idr
87+ libs/effects/*.idr
8888
8989
90− javascript/*.idr
91− javascript/JavaScript/*.idr
92− javascript/Makefile
93− javascript/javascript.ipkg
90+ libs/javascript/*.idr
91+ libs/javascript/JavaScript/*.idr
92+ libs/javascript/Makefile
93+ libs/javascript/javascript.ipkg
9494
9595 llvm/*.c
9696 llvm/Makefile