diff --git a/toysolver.cabal b/toysolver.cabal
index c8dfa7e9..1c0f16d7 100644
--- a/toysolver.cabal
+++ b/toysolver.cabal
@@ -1,5 +1,5 @@
 Name:		toysolver
-Version:	0.7.0
+Version:	0.8.0
 License:	BSD3
 License-File:	COPYING
 Author:		Masahiro Sakai (masahiro.sakai@gmail.com)