git.iko.soy/Idris-dev
on master help sign in
Update version number to 0.9.7
109f2d7Edwin Brady
idris.cabal+3−2
compare with master
unifiedsplit
@@ -1,5 +1,5 @@
1Name: idris
1Name: idris
2−Version: 0.9.6.1
2+Version: 0.9.7
3License: BSD3
3License: BSD3
4License-file: LICENSE
4License-file: LICENSE
5Author: Edwin Brady
5Author: Edwin Brady
@@ -56,8 +56,9 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
56 lib/System/Concurrency/*.idr
56 lib/System/Concurrency/*.idr
57 lib/Data/*.idr lib/Debug/*.idr
57 lib/Data/*.idr lib/Debug/*.idr
58 lib/Decidable/*.idr
58 lib/Decidable/*.idr
59− effects/*.idr effects/Effect/*.idr
60 tutorial/examples/*.idr lib/base.ipkg
59 tutorial/examples/*.idr lib/base.ipkg
60+ effects/Makefile effects/*.idr effects/Effect/*.idr
61+ effects/effects.ipkg
61 config.mk
62 config.mk
62 rts/*.c rts/*.h rts/Makefile
63 rts/*.c rts/*.h rts/Makefile
63 js/*.js
64 js/*.js