Version number increment

idris-lang · Mar 21, 2015 · 5bd490b · 5bd490b
1 parent 0f65b89
commit 5bd490b
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.16
+Version:        0.9.17
 License:        BSD3
 License-file:   LICENSE
 Author:         Edwin Brady