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