@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.9.5.2
2+Version: 0.9.6
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady
@@ -51,7 +51,7 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
5151 lib/Network/*.idr lib/Control/*.idr
5252 lib/Control/Monad/*.idr lib/Language/*.idr
5353 lib/System/Concurrency/*.idr
54− lib/Data/*.idr
54+ lib/Data/*.idr lib/Debug/*.idr
5555 tutorial/examples/*.idr lib/base.ipkg
5656 config.mk
5757 rts/*.c rts/*.h rts/Makefile
@@ -84,6 +84,7 @@ Executable idris
8484 IRTS.Lang, IRTS.LParser, IRTS.Bytecode, IRTS.Simplified,
8585 IRTS.CodegenC, IRTS.Defunctionalise, IRTS.Inliner,
8686 IRTS.Compiler, IRTS.CodegenJava, IRTS.BCImp,
87+ IRTS.CodegenJavaScript,
8788 IRTS.CodegenCommon, IRTS.DumpBC
8889
8990 Paths_idris