Cabal revisions of ez3-0.1.0.0

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

-name:                ez3-version:             0.1.0.0-synopsis:            Z3 bonds with pure interface-description:         Z3 bonds with universally-quantified pure interface, like `ST`-license:             BSD3-license-file:        LICENSE-author:              M Farkas-Dyck-maintainer:          strake888@gmail.com-copyright:           2018 M Farkas-Dyck--- category:            -build-type:          Simple-extra-source-files:  README.md-cabal-version:       >=1.10--library-  hs-source-dirs:      .-  exposed-modules:     Z3.Tagged-  build-depends:       base >= 4.7 && < 5-                     , transformers-                     , z3-  default-language:    Haskell2010-  default-extensions:  UnicodeSyntax-                     , LambdaCase-                     , EmptyCase-                     , InstanceSigs-                     , PartialTypeSignatures-                     , PolyKinds-                     , ConstraintKinds-                     , FlexibleContexts-                     , FlexibleInstances-                     , StandaloneDeriving-                     , GeneralizedNewtypeDeriving-                     , DeriveFunctor-                     , DeriveFoldable-                     , DeriveTraversable-                     , OverloadedStrings-  ghc-options:         -Wall -Wcompat -Wredundant-constraints -Wno-name-shadowing-                       -Wincomplete-record-updates -Wincomplete-uni-patterns--source-repository head-  type:     git-  location: https://github.com/strake/ez3.hs+name:                ez3
+version:             0.1.0.0
+x-revision: 1
+synopsis:            Z3 bonds with pure interface
+description:         Z3 bonds with universally-quantified pure interface, like `ST`
+license:             BSD3
+license-file:        LICENSE
+author:              M Farkas-Dyck
+maintainer:          strake888@gmail.com
+copyright:           2018 M Farkas-Dyck
+-- category:            
+build-type:          Simple
+extra-source-files:  README.md
+cabal-version:       >=1.10
+
+library
+  hs-source-dirs:      .
+  exposed-modules:     Z3.Tagged
+  build-depends:       base >= 4.7 && < 5
+                     , transformers
+                     , z3 >=4.3 && <4.4
+  default-language:    Haskell2010
+  default-extensions:  UnicodeSyntax
+                     , LambdaCase
+                     , EmptyCase
+                     , InstanceSigs
+                     , PartialTypeSignatures
+                     , PolyKinds
+                     , ConstraintKinds
+                     , FlexibleContexts
+                     , FlexibleInstances
+                     , StandaloneDeriving
+                     , GeneralizedNewtypeDeriving
+                     , DeriveFunctor
+                     , DeriveFoldable
+                     , DeriveTraversable
+                     , OverloadedStrings
+  ghc-options:         -Wall -Wcompat -Wredundant-constraints -Wno-name-shadowing
+                       -Wincomplete-record-updates -Wincomplete-uni-patterns
+
+source-repository head
+  type:     git
+  location: https://github.com/strake/ez3.hs

 name:                ez3
 version:             0.1.0.0
-x-revision: 1
+x-revision: 2
 synopsis:            Z3 bonds with pure interface
 description:         Z3 bonds with universally-quantified pure interface, like `ST`
 license:             BSD3
 license-file:        LICENSE
 author:              M Farkas-Dyck
-maintainer:          strake888@gmail.com
+maintainer:          None
 copyright:           2018 M Farkas-Dyck
 -- category:            
 build-type:          Simple
                      , OverloadedStrings
   ghc-options:         -Wall -Wcompat -Wredundant-constraints -Wno-name-shadowing
                        -Wincomplete-record-updates -Wincomplete-uni-patterns
-
-source-repository head
-  type:     git
-  location: https://github.com/strake/ez3.hs