Update version number to 0.9.7
commit109f2d72e6283e5d3de41bb551c3ba9678f30a2e
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSun 10 Mar 2013, 21:28 (14 years ago)
parent4928113
idris.cabal+3−2
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.9.6.1
2+Version: 0.9.7
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady
@@ -56,8 +56,9 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
5656 lib/System/Concurrency/*.idr
5757 lib/Data/*.idr lib/Debug/*.idr
5858 lib/Decidable/*.idr
59− effects/*.idr effects/Effect/*.idr
6059 tutorial/examples/*.idr lib/base.ipkg
60+ effects/Makefile effects/*.idr effects/Effect/*.idr
61+ effects/effects.ipkg
6162 config.mk
6263 rts/*.c rts/*.h rts/Makefile
6364 js/*.js