Cabal revisions of numtype-dk-0.5.0.2

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

 name:                numtype-dk version:             0.5.0.2+x-revision: 1 license:             BSD3 license-File:        LICENSE copyright:           Bjorn Buckwalter 2012-2015   location: https://github.com/bjornbm/numtype-dk/  library-  build-depends:       base < 5+  build-depends:       base >=4.7 && < 5   exposed-modules:     Numeric.NumType.DK.Integers   other-modules:       Numeric.NumType.DK.Naturals

-name:                numtype-dk-version:             0.5.0.2-x-revision: 1-license:             BSD3-license-File:        LICENSE-copyright:           Bjorn Buckwalter 2012-2015-author:              Bjorn Buckwalter-maintainer:          bjorn@buckwalter.se-category:            Math-stability:           provisional-cabal-version:       >= 1.6-build-type:          Simple-homepage:            https://github.com/bjornbm/numtype-dk-synopsis:            Type-level integers, using TypeNats, Data-                     Kinds, and Closed Type Families.-description:--    This package provides type level representations of the-    (positive and negative) integers and basic operations (addition,-    subtraction, multiplication, division, exponentiation) on these.--    The numtype-dk package differs from the numtype package in that-    the NumTypes are implemented using Data Kinds, TypeNats, and-    Closed Type Families rather than Functional Dependencies.--    Requires GHC 7.8 or later.--extra-source-files:  README.md,-                     changelog.md-                     Numeric/NumType/DKTests.hs--source-repository head-  type:     git-  location: https://github.com/bjornbm/numtype-dk/--library-  build-depends:       base >=4.7 && < 5-  exposed-modules:     Numeric.NumType.DK.Integers-  other-modules:       Numeric.NumType.DK.Naturals+name:                numtype-dk
+version:             0.5.0.2
+x-revision: 2
+license:             BSD3
+license-File:        LICENSE
+copyright:           Bjorn Buckwalter 2012-2015
+author:              Bjorn Buckwalter
+maintainer:          bjorn@buckwalter.se
+category:            Math
+stability:           provisional
+cabal-version:       >= 1.6
+build-type:          Simple
+homepage:            https://github.com/bjornbm/numtype-dk
+synopsis:            Type-level integers, using TypeNats, Data
+                     Kinds, and Closed Type Families.
+description:
+
+    This package provides type level representations of the
+    (positive and negative) integers and basic operations (addition,
+    subtraction, multiplication, division, exponentiation) on these.
+
+    The numtype-dk package differs from the numtype package in that
+    the NumTypes are implemented using Data Kinds, TypeNats, and
+    Closed Type Families rather than Functional Dependencies.
+
+    Requires GHC 7.8 or later.
+
+extra-source-files:  README.md,
+                     changelog.md
+                     Numeric/NumType/DKTests.hs
+
+source-repository head
+  type:     git
+  location: https://github.com/bjornbm/numtype-dk/
+
+library
+  build-depends:       base >=4.7 && < 4.16
+  exposed-modules:     Numeric.NumType.DK.Integers
+  other-modules:       Numeric.NumType.DK.Naturals