Update version number

idris-lang · May 23, 2015 · c58ed3a · c58ed3a
1 parent 22c8cda
commit c58ed3a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/idris.cabal b/idris.cabal
@@ -1,5 +1,5 @@
 Name:           idris
-Version:        0.9.18
+Version:        0.9.18.1
 License:        BSD3
 License-file:   LICENSE
 Author:         Edwin Brady