diff options
Diffstat (limited to 'boolector.cabal')
| -rw-r--r-- | boolector.cabal | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/boolector.cabal b/boolector.cabal index f26223a..7329a5a 100644 --- a/boolector.cabal +++ b/boolector.cabal @@ -1,5 +1,5 @@ name: boolector -version: 0.0.0.10 +version: 0.0.0.11 synopsis: Haskell bindings for the Boolector SMT solver description: |