Cabal revisions of horname-0.1.3.0

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

-name:                horname-version:             0.1.3.0-synopsis:            Rename function definitions returned by SMT solvers-description:         Please see README.md-homepage:            https://github.com/cocreature/horname#readme-license:             BSD3-license-file:        LICENSE-author:              Moritz Kiefer-maintainer:          value-copyright:           (C) 2016 Moritz Kiefer-category:            Web-build-type:          Simple-cabal-version:       >=1.10-extra-source-files:  README.md-tested-with:         GHC == 8.0.1--executable horname-  hs-source-dirs:      app-  other-modules:       Options-  main-is:             Main.hs-  default-language:    Haskell2010-  build-depends:       base >= 4.9 && < 5-                     , horname-                     , optparse-applicative >= 0.12 && < 0.14-                     , text >= 1.2 && < 1.3-  ghc-options:         -Wall--library-    hs-source-dirs:   src-    exposed-modules:  Horname-                      Horname.Internal.SMT-                      Horname.Internal.SMT.Parser-                      Horname.Internal.SMT.Pretty-    default-language: Haskell2010-    build-depends:    base >= 4.9 && < 5-                    , containers >= 0.5 && < 0.6-                    , megaparsec >= 5.0 && < 5.2-                    , text >= 1.2 && < 1.3-                    , these >= 0.7 && < 0.8-                    , uniplate >= 1.6 && < 1.7-                    , wl-pprint-text >= 1.1 && < 1.2-    ghc-options:      -Wall+name:                horname
+version:             0.1.3.0
+x-revision: 1
+synopsis:            Rename function definitions returned by SMT solvers
+description:         Please see README.md
+homepage:            https://github.com/cocreature/horname#readme
+license:             BSD3
+license-file:        LICENSE
+author:              Moritz Kiefer
+maintainer:          value
+copyright:           (C) 2016 Moritz Kiefer
+category:            Web
+build-type:          Simple
+cabal-version:       >=1.10
+extra-source-files:  README.md
+tested-with:         GHC == 8.0.1
+
+executable horname
+  hs-source-dirs:      app
+  other-modules:       Options
+  main-is:             Main.hs
+  default-language:    Haskell2010
+  build-depends:       base >= 4.9 && < 5
+                     , horname
+                     , optparse-applicative >= 0.12 && < 0.14
+                     , text >= 1.2 && < 1.3
+  ghc-options:         -Wall
+
+library
+    hs-source-dirs:   src
+    exposed-modules:  Horname
+                      Horname.Internal.SMT
+                      Horname.Internal.SMT.Parser
+                      Horname.Internal.SMT.Pretty
+    default-language: Haskell2010
+    build-depends:    base >= 4.9 && < 5
+                    , containers >= 0.5 && < 0.6
+                    , megaparsec >= 5.0 && < 5.3
+                    , text >= 1.2 && < 1.3
+                    , these >= 0.7 && < 0.8
+                    , uniplate >= 1.6 && < 1.7
+                    , wl-pprint-text >= 1.1 && < 1.2
+    ghc-options:      -Wall