diff --git a/digger.cabal b/digger.cabal
index 804a40981c5ea6e7df782b0fe2124eded72e8694..27862436ea122db08984946eb041d58e8c2a2761 100644
--- a/digger.cabal
+++ b/digger.cabal
@@ -1,5 +1,5 @@
 name:                digger
-version:             0.2.0.0
+version:             0.3.0.0
 synopsis:            convert "C-style" Coq code into C code or an
                      intermediate representation in Coq
 description:         Convert Coq code written in a "C-style"