diff --git a/idris.cabal b/idris.cabal
index e88a84a582..3c8e737984 100644
--- a/idris.cabal
+++ b/idris.cabal
@@ -1,5 +1,5 @@
 Name:           idris
-Version:        0.9.18.1
+Version:        0.9.19
 License:        BSD3
 License-file:   LICENSE
 Author:         Edwin Brady