Cabal revisions of smtLib-1.0.7

Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.

-Name:           smtLib-Version:        1.0.7-License:        BSD3-License-file:   LICENSE-Author:         Iavor S. Diatchki-Maintainer:     iavor.diatchki@gmail.com-Category:       SMT-Synopsis:       A library for working with the SMTLIB format.-Description:    A library for working with the SMTLIB format.-Build-type:     Simple-Cabal-version: >= 1.8-Extra-source-files:-  LICENSE,-  CHANGES--library-  hs-source-dirs: src--  exposed-modules:-    SMTLib1-    SMTLib1.QF_BV-    SMTLib1.QF_AUFBV-    SMTLib2-    SMTLib2.Compat1-    SMTLib2.Core-    SMTLib2.BitVector-    SMTLib2.Array-    SMTLib2.Int--  other-modules:-    SMTLib1.AST-    SMTLib1.PP-    SMTLib2.AST-    SMTLib2.PP--  build-depends:-    base   < 5,-    pretty---  GHC-options:    -O2 -Wall--source-repository head-  type:     git-  location: git://github.com/yav/smtLib.git-+Name:           smtLib
+Version:        1.0.7
+x-revision: 1
+License:        BSD3
+License-file:   LICENSE
+Author:         Iavor S. Diatchki
+Maintainer:     iavor.diatchki@gmail.com
+Category:       SMT
+Synopsis:       A library for working with the SMTLIB format.
+Description:    A library for working with the SMTLIB format.
+Build-type:     Simple
+Cabal-version: >= 1.8
+Extra-source-files:
+  LICENSE,
+  CHANGES
+
+library
+  hs-source-dirs: src
+
+  exposed-modules:
+    SMTLib1
+    SMTLib1.QF_BV
+    SMTLib1.QF_AUFBV
+    SMTLib2
+    SMTLib2.Compat1
+    SMTLib2.Core
+    SMTLib2.BitVector
+    SMTLib2.Array
+    SMTLib2.Int
+
+  other-modules:
+    SMTLib1.AST
+    SMTLib1.PP
+    SMTLib2.AST
+    SMTLib2.PP
+
+  build-depends:
+    base   >= 4.5 && < 5,
+    pretty
+
+
+  GHC-options:    -O2 -Wall
+
+source-repository head
+  type:     git
+  location: git://github.com/yav/smtLib.git
+