Cabal revisions of smtlib-backends-z3-0.2

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

-name:               smtlib-backends-z3-version:            0.2-synopsis:           An SMT-LIB backend implemented using Z3's C API.-description:-  This library implements an SMT-LIB backend (in the sense of the smtlib-backends-  package) using inlined calls to Z3's C API. It is thus in particular faster-  than the standard backends relying on running solvers as external processes, as-  the OS doesn't need to spawn processes and handle pipes between them.--license:            MIT-license-file:       LICENSE-author:             Quentin Aristote-maintainer:         quentin.aristote@tweag.io-build-type:         Simple-category:           SMT-cabal-version:      >=1.10-extra-source-files: CHANGELOG.md--source-repository head-  type:     git-  location: https://github.com/tweag/smtlib-backends-  subdir:   smtlib-backends-z3--source-repository this-  type:     git-  location: https://github.com/tweag/smtlib-backends-  tag:      0.2-  subdir:   smtlib-backends-z3--library-  hs-source-dirs:   src-  ghc-options:      -Wall -Wunused-packages-  exposed-modules:  SMTLIB.Backends.Z3-  build-depends:-      base             >=4.14    && <4.17.0-    , bytestring       >=0.10.12 && <0.11-    , containers       >=0.6.4   && <0.7-    , inline-c         >=0.9.1   && <0.10-    , smtlib-backends  >=0.2     && <0.3--  -- inspired from haskell-z3-  if (os(osx) || os(windows))-    extra-libraries: z3--  else-    extra-libraries:-      gomp-      z3-      gomp--  default-language: Haskell2010--test-suite test-  type:             exitcode-stdio-1.0-  hs-source-dirs:   tests-  main-is:          Main.hs-  other-modules:    Examples-  ghc-options:      -threaded -Wall -Wunused-packages-  build-depends:-      base-    , bytestring-    , smtlib-backends-    , smtlib-backends-tests-    , smtlib-backends-z3-    , tasty-    , tasty-hunit--  default-language: Haskell2010+name:               smtlib-backends-z3
+version:            0.2
+x-revision: 1
+synopsis:           An SMT-LIB backend implemented using Z3's C API.
+description:
+  This library implements an SMT-LIB backend (in the sense of the smtlib-backends
+  package) using inlined calls to Z3's C API. It is thus in particular faster
+  than the standard backends relying on running solvers as external processes, as
+  the OS doesn't need to spawn processes and handle pipes between them.
+
+license:            MIT
+license-file:       LICENSE
+author:             Quentin Aristote
+maintainer:         quentin.aristote@tweag.io
+build-type:         Simple
+category:           SMT
+cabal-version:      >=1.10
+extra-source-files: CHANGELOG.md
+
+source-repository head
+  type:     git
+  location: https://github.com/tweag/smtlib-backends
+  subdir:   smtlib-backends-z3
+
+source-repository this
+  type:     git
+  location: https://github.com/tweag/smtlib-backends
+  tag:      0.2
+  subdir:   smtlib-backends-z3
+
+library
+  hs-source-dirs:   src
+  ghc-options:      -Wall -Wunused-packages
+  exposed-modules:  SMTLIB.Backends.Z3
+  build-depends:
+      base             >=4.14    && <4.17.0
+    , bytestring       >=0.10.12 && <0.12
+    , containers       >=0.6.4   && <0.7
+    , inline-c         >=0.9.1   && <0.10
+    , smtlib-backends  >=0.2     && <0.3
+
+  -- inspired from haskell-z3
+  if (os(osx) || os(windows))
+    extra-libraries: z3
+
+  else
+    extra-libraries:
+      gomp
+      z3
+      gomp
+
+  default-language: Haskell2010
+
+test-suite test
+  type:             exitcode-stdio-1.0
+  hs-source-dirs:   tests
+  main-is:          Main.hs
+  other-modules:    Examples
+  ghc-options:      -threaded -Wall -Wunused-packages
+  build-depends:
+      base
+    , bytestring
+    , smtlib-backends
+    , smtlib-backends-tests
+    , smtlib-backends-z3
+    , tasty
+    , tasty-hunit
+
+  default-language: Haskell2010