summaryrefslogtreecommitdiff
path: root/boolector.cabal
diff options
context:
space:
mode:
Diffstat (limited to 'boolector.cabal')
-rw-r--r--boolector.cabal2
1 files changed, 1 insertions, 1 deletions
diff --git a/boolector.cabal b/boolector.cabal
index f26223a..54e9290 100644
--- a/boolector.cabal
+++ b/boolector.cabal
@@ -1,5 +1,5 @@
name: boolector
-version: 0.0.0.10
+version: 0.0.0.13
synopsis: Haskell bindings for the Boolector SMT solver
description: