Cabal revisions of snumber-0.1.0.0

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

-cabal-version: 1.12---- This file has been generated from package.yaml by hpack version 0.33.0.------ see: https://github.com/sol/hpack------ hash: 1d0ab9e8374cc94aff152971e0a8de1ddbc04e736cfa1bffd8722cff99b603c6--name:           snumber-version:        0.1.0.0-synopsis:       Indexed numeric types linking type-level and value-level numbers.-description:    This provides singletons-style witnesses for type-level integers, and some-                limited arithmetic operations on them.  Instead of working with (invisible,-                implicitly-passed) 'KnownNat' instances, you can work with (visible,-                explicitly-mentioned) 'SNumber' values, and can freely convert between the-                two forms.-                .-                This primarily exists in support of-                <https://hackage.haskell.org/package/dependent-literals-plugin dependent-literals-plugin>.-category:       Constraints-homepage:       https://github.com/google/hs-dependent-literals#readme-bug-reports:    https://github.com/google/hs-dependent-literals/issues-author:         Andrew Pritchard <awpr@google.com>-maintainer:     Andrew Pritchard <awpr@google.com>-copyright:      2020-2021 Google LLC-license:        Apache-2.0-license-file:   LICENSE-build-type:     Simple-extra-source-files:-    CHANGELOG.md--source-repository head-  type: git-  location: https://github.com/google/hs-dependent-literals-  subdir: snumber--library-  exposed-modules:-      Data.SNumber-  other-modules:-      Data.SNumber.Internal-      Paths_snumber-  hs-source-dirs:-      src-  build-depends:-      base >=4.12 && <4.16-    , numeric-kinds >=0.1 && <0.2-  default-language: Haskell2010+cabal-version: 1.12
+
+-- This file has been generated from package.yaml by hpack version 0.33.0.
+--
+-- see: https://github.com/sol/hpack
+--
+-- hash: 1d0ab9e8374cc94aff152971e0a8de1ddbc04e736cfa1bffd8722cff99b603c6
+
+name:           snumber
+version:        0.1.0.0
+x-revision: 1
+synopsis:       Integer singletons with flexible representation
+description:    This provides singletons-style witnesses for type-level integers, and some
+                limited arithmetic operations on them.  Instead of working with (invisible,
+                implicitly-passed) 'KnownNat' instances, you can work with (visible,
+                explicitly-mentioned) 'SNumber' values, and can freely convert between the
+                two forms.
+                .
+                This primarily exists in support of
+                <https://hackage.haskell.org/package/dependent-literals-plugin dependent-literals-plugin>.
+category:       Constraints
+homepage:       https://github.com/google/hs-dependent-literals#readme
+bug-reports:    https://github.com/google/hs-dependent-literals/issues
+author:         Andrew Pritchard <awpr@google.com>
+maintainer:     Andrew Pritchard <awpr@google.com>
+copyright:      2020-2021 Google LLC
+license:        Apache-2.0
+license-file:   LICENSE
+build-type:     Simple
+extra-source-files:
+    CHANGELOG.md
+
+source-repository head
+  type: git
+  location: https://github.com/google/hs-dependent-literals
+  subdir: snumber
+
+library
+  exposed-modules:
+      Data.SNumber
+  other-modules:
+      Data.SNumber.Internal
+      Paths_snumber
+  hs-source-dirs:
+      src
+  build-depends:
+      base >=4.12 && <4.16
+    , numeric-kinds >=0.1 && <0.2
+  default-language: Haskell2010

 
 name:           snumber
 version:        0.1.0.0
-x-revision: 1
+x-revision: 2
 synopsis:       Integer singletons with flexible representation
 description:    This provides singletons-style witnesses for type-level integers, and some
                 limited arithmetic operations on them.  Instead of working with (invisible,
   hs-source-dirs:
       src
   build-depends:
-      base >=4.12 && <4.16
+      base >=4.12 && <4.17
     , numeric-kinds >=0.1 && <0.2
   default-language: Haskell2010