packages feed

Cabal revisions of snumber-0.2.0

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

revision 1
-cabal-version: 1.12---- This file has been generated from package.yaml by hpack version 0.34.4.------ see: https://github.com/sol/hpack--name:           snumber-version:        0.2.0-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-  hs-source-dirs:-      src-  build-depends:-      base >=4.12 && <4.16-    , numeric-kinds ==0.1.*-  default-language: Haskell2010+cabal-version: 1.12
+
+-- This file has been generated from package.yaml by hpack version 0.34.4.
+--
+-- see: https://github.com/sol/hpack
+
+name:           snumber
+version:        0.2.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
+  hs-source-dirs:
+      src
+  build-depends:
+      base >=4.12 && <4.17
+    , numeric-kinds ==0.1.*
+  default-language: Haskell2010