Version number incremenet for imminent release
commit7a28778b8c0475290239dbd40415f7c0a6caf688
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSun 28 Jul 2013, 14:01 (13 years ago)
parentb6bfd78
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.9.8.1
2+Version: 0.9.9
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady