PyVCG Release 1.0.6

Author: florianschanda

CHANGELOG.md

@@ -8,7 +8,7 @@
 ## Changelog
 
 
-### 1.0.6-dev
+### 1.0.6
 
 * Add new driver for CVC5 (via SMTLIB files instead of the API).
 

pyvcg/version.py

@@ -23,7 +23,7 @@
 ##############################################################################
 
 VERSION_TUPLE = (1, 0, 6)
-VERSION_SUFFIX = "dev"
+VERSION_SUFFIX = ""
 
 PYVCG_VERSION = ("%u.%u.%u" % VERSION_TUPLE) + \
     ("-%s" % VERSION_SUFFIX if VERSION_SUFFIX else "")