@@ -1,5 +1,5 @@
2−Version: 0.9.5.2
2+Version: 0.9.6
3License: BSD3
3License: BSD3
4License-file: LICENSE
4License-file: LICENSE
5Author: Edwin Brady
5Author: Edwin Brady
@@ -51,7 +51,7 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
51 lib/Network/*.idr lib/Control/*.idr
51 lib/Network/*.idr lib/Control/*.idr
52 lib/Control/Monad/*.idr lib/Language/*.idr
52 lib/Control/Monad/*.idr lib/Language/*.idr
53 lib/System/Concurrency/*.idr
53 lib/System/Concurrency/*.idr
54− lib/Data/*.idr
54+ lib/Data/*.idr lib/Debug/*.idr
55 tutorial/examples/*.idr lib/base.ipkg
55 tutorial/examples/*.idr lib/base.ipkg
57 rts/*.c rts/*.h rts/Makefile
57 rts/*.c rts/*.h rts/Makefile
@@ -84,6 +84,7 @@ Executable idris
84 IRTS.Lang, IRTS.LParser, IRTS.Bytecode, IRTS.Simplified,
84 IRTS.Lang, IRTS.LParser, IRTS.Bytecode, IRTS.Simplified,
85 IRTS.CodegenC, IRTS.Defunctionalise, IRTS.Inliner,
85 IRTS.CodegenC, IRTS.Defunctionalise, IRTS.Inliner,
86 IRTS.Compiler, IRTS.CodegenJava, IRTS.BCImp,
86 IRTS.Compiler, IRTS.CodegenJava, IRTS.BCImp,
87+ IRTS.CodegenJavaScript,
87 IRTS.CodegenCommon, IRTS.DumpBC
88 IRTS.CodegenCommon, IRTS.DumpBC
89 Paths_idris
90 Paths_idris