@@ -18,7 +18,7 @@ Description: Idris is an experimental language with full dependent types.
18Cabal-Version: >= 1.6
18Cabal-Version: >= 1.6
19Build-type: Simple
19Build-type: Simple
21−Data-files: *.idr prelude/*.idr *.ibc prelude/*.ibc
21+Data-files: *.idr prelude/*.idr
22Data-dir: lib
22Data-dir: lib
24Executable idris
24Executable idris