@@ -47,8 +47,8 @@ Cabal-Version: >= 1.6
47Build-type: Custom
47Build-type: Custom
50−Data-files: rts/libidris_rts.a rts/idris_rts.h rts/idris_gc.h
50+Data-files: rts/idris_rts.h rts/idris_gc.h rts/idris_stdfgn.h
51− rts/idris_stdfgn.h rts/idris_main.c rts/idris_gmp.h
51+ rts/idris_main.c rts/idris_gmp.h
52 rts/libtest.c
52 rts/libtest.c
53 js/Runtime-common.js
53 js/Runtime-common.js
54 js/Runtime-node.js
54 js/Runtime-node.js