@@ -72,6 +72,7 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
72 rts/*.c rts/*.h rts/Makefile
72 rts/*.c rts/*.h rts/Makefile
74 java/src/main/java/org/idris/rts/*.java
74 java/src/main/java/org/idris/rts/*.java
76source-repository head
77source-repository head