Cabal revisions of ivory-backend-c-0.1.0.3

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

--- Initial ivory.cabal generated by cabal init.  For further documentation,---  see http://haskell.org/cabal/users-guide/--name:                ivory-backend-c-version:             0.1.0.3-author:              Galois, Inc.-maintainer:          leepike@galois.com-category:            Language-synopsis:            Ivory C backend.-description:         Ivory compiler, to a subset of C99.-homepage:            http://smaccmpilot.org/languages/ivory-introduction.html-build-type:          Simple-cabal-version:       >= 1.10-data-files:             runtime/ivory.h,-                        runtime/ivory_templates.h,-                        runtime/ivory_asserts.h-license:             BSD3-license-file:        LICENSE-source-repository    this-  type:     git-  location: https://github.com/GaloisInc/ivory-  tag:      hackage-backend-0103--library-  exposed-modules:      Ivory.Compile.C,-                        Ivory.Compile.C.Gen,-                        Ivory.Compile.C.Modules,-                        Ivory.Compile.C.Prop,-                        Ivory.Compile.C.Types,-                        Ivory.Compile.C.CmdlineFrontend,-                        Ivory.Compile.C.CmdlineFrontend.Options-  other-modules:        Paths_ivory_backend_c--  build-depends:        base >= 4.6 && < 5,-                        base-compat,-                        language-c-quote >= 0.10.0,-                        srcloc,-                        mainland-pretty >= 0.2.5,-                        monadLib >= 3.7,-                        template-haskell >= 2.8,-                        bytestring >= 0.10,-                        directory,-                        filepath,-                        process,-                        containers,-                        ivory,-                        ivory-opts,-                        ivory-artifact-  hs-source-dirs:       src-  default-language:     Haskell2010--  ghc-options:          -Wall+-- Initial ivory.cabal generated by cabal init.  For further documentation,
+--  see http://haskell.org/cabal/users-guide/
+
+name:                ivory-backend-c
+version:             0.1.0.3
+x-revision: 1
+author:              Galois, Inc.
+maintainer:          leepike@galois.com
+category:            Language
+synopsis:            Ivory C backend.
+description:         Ivory compiler, to a subset of C99.
+homepage:            http://smaccmpilot.org/languages/ivory-introduction.html
+build-type:          Simple
+cabal-version:       >= 1.10
+data-files:             runtime/ivory.h,
+                        runtime/ivory_templates.h,
+                        runtime/ivory_asserts.h
+license:             BSD3
+license-file:        LICENSE
+source-repository    this
+  type:     git
+  location: https://github.com/GaloisInc/ivory
+  tag:      hackage-backend-0103
+
+library
+  exposed-modules:      Ivory.Compile.C,
+                        Ivory.Compile.C.Gen,
+                        Ivory.Compile.C.Modules,
+                        Ivory.Compile.C.Prop,
+                        Ivory.Compile.C.Types,
+                        Ivory.Compile.C.CmdlineFrontend,
+                        Ivory.Compile.C.CmdlineFrontend.Options
+  other-modules:        Paths_ivory_backend_c
+
+  build-depends:        base >= 4.6 && < 5,
+                        base-compat,
+                        language-c-quote >= 0.10.0,
+                        srcloc,
+                        mainland-pretty >= 0.2.5,
+                        monadLib >= 3.7,
+                        template-haskell >= 2.8,
+                        bytestring >= 0.10,
+                        directory,
+                        filepath,
+                        process,
+                        containers,
+                        ivory == 0.1.0.3,
+                        ivory-opts == 0.1.0.3,
+                        ivory-artifact == 0.1.0.3
+  hs-source-dirs:       src
+  default-language:     Haskell2010
+
+  ghc-options:          -Wall

 
 name:                ivory-backend-c
 version:             0.1.0.3
-x-revision: 1
+x-revision: 2
 author:              Galois, Inc.
 maintainer:          leepike@galois.com
 category:            Language
                         base-compat,
                         language-c-quote >= 0.10.0,
                         srcloc,
-                        mainland-pretty >= 0.2.5,
+                        mainland-pretty >= 0.2.5 && <0.6,
                         monadLib >= 3.7,
                         template-haskell >= 2.8,
                         bytestring >= 0.10,
   hs-source-dirs:       src
   default-language:     Haskell2010
 
-  ghc-options:          -Wall
+  ghc-options:          -Wall