Cabal revisions of ghc-typelits-presburger-0.1.1.1

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

-name: ghc-typelits-presburger-version: 0.1.1.1-cabal-version: >=1.10-build-type: Simple-license: BSD3-license-file: LICENSE-copyright: 2015 (c) Hiromi ISHII-maintainer: konn.jinro _at_ gmail.com-homepage: https://github.com/konn/ghc-typelits-presburger#readme-synopsis: Presburger Arithmetic Solver for GHC Type-level natural numbers.-description:-    @ghc-typelits-presburger@ augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers.-    You can use by adding this package to @build-depends@ and add the following pragma to the head of .hs files:-    .-    > OPTIONS_GHC -fplugin GHC.TypeLits.Presburger-category: Math, Type System-author: Hiromi ISHII-tested-with: GHC ==8.0.2 GHC ==8.2.2--source-repository head-    type: git-    location: https://github.com/konn/ghc-typelits-presburger--flag examples-    default: False--library-    exposed-modules:-        GHC.TypeLits.Presburger-    build-depends:-        base >=4.7 && <5,-        ghc >=7.10 && <8.4,-        ghc-tcplugins-extra ==0.2.*,-        presburger ==1.3.*,-        equational-reasoning >=0.4.0.0 && <0.6,-        reflection >=2.1.2 && <2.2-    default-language: Haskell2010-    hs-source-dirs: src-    other-modules:-        GHC.Compat-    ghc-options: -Wall--executable simple-arith-    -    if !flag(examples)-        buildable: False-    main-is: simple-arith.hs-    build-depends:-        base >=4.10.1.0 && <4.11,-        ghc-typelits-presburger >=0.1.1.1 && <0.2,-        equational-reasoning >=0.5.0.0 && <0.6,-        singletons >=2.3.1 && <2.4-    default-language: Haskell2010-    hs-source-dirs: examples-    ghc-options: -Wall-+name: ghc-typelits-presburger
+version: 0.1.1.1
+x-revision: 1
+cabal-version: >=1.10
+build-type: Simple
+license: BSD3
+license-file: LICENSE
+copyright: 2015 (c) Hiromi ISHII
+maintainer: konn.jinro _at_ gmail.com
+homepage: https://github.com/konn/ghc-typelits-presburger#readme
+synopsis: Presburger Arithmetic Solver for GHC Type-level natural numbers.
+description:
+    @ghc-typelits-presburger@ augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers.
+    You can use by adding this package to @build-depends@ and add the following pragma to the head of .hs files:
+    .
+    > OPTIONS_GHC -fplugin GHC.TypeLits.Presburger
+category: Math, Type System
+author: Hiromi ISHII
+tested-with: GHC ==8.0.2 GHC ==8.2.2
+
+source-repository head
+    type: git
+    location: https://github.com/konn/ghc-typelits-presburger
+
+flag examples
+    default: False
+
+library
+    exposed-modules:
+        GHC.TypeLits.Presburger
+    build-depends:
+        base >=4.7 && <5,
+        ghc >=7.10 && <8.4,
+        ghc-tcplugins-extra ==0.2.*,
+        presburger ==1.3.*,
+        equational-reasoning >=0.4.0.0 && <0.6,
+        reflection >=2.1.2 && <2.2
+    default-language: Haskell2010
+    hs-source-dirs: src
+    other-modules:
+        GHC.Compat
+    ghc-options: -Wall
+
+executable simple-arith
+    
+    if !flag(examples)
+        buildable: False
+    main-is: simple-arith.hs
+    build-depends:
+        base >=4.7 && <5,
+        ghc-typelits-presburger >=0.1.1.1 && <0.2,
+        equational-reasoning >=0.5.0.0 && <0.6,
+        singletons >=2.2 && <2.4
+    default-language: Haskell2010
+    hs-source-dirs: examples
+    ghc-options: -Wall
+