Bump version

08bef445 · Samuel Hym · 8df51e84 · 08bef445
Commit 08bef445 authored 4 years ago by Samuel Hym
--- a/digger.cabal
+++ b/digger.cabal
 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"