Cabal revisions of singleton-nats-0.4.7
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: singleton-nats-version: 0.4.7-synopsis: Unary natural numbers relying on the singletons infrastructure.-description: Unary natural number relying on the <https://hackage.haskell.org/package/singletons singletons> infrastructure. More information about the general usage of singletons can be found on the <https://github.com/goldfirere/singletons singletons github> page.-category: Data, Dependent Types-homepage: https://github.com/AndrasKovacs/singleton-nats-bug-reports: https://github.com/AndrasKovacs/singleton-nats/issues-license: BSD3-license-file: LICENSE-author: András Kovács-maintainer: puttamalac@gmail.com-copyright: 2015 András Kovács--build-type: Simple-cabal-version: >=1.10-tested-with: GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.4, GHC == 8.10.7, GHC == 9.0.2, GHC == 9.2.8, GHC == 9.4.7, GHC == 9.6.3, GHC == 9.8.1-extra-source-files: CHANGELOG.md, README.md--source-repository head- type: git- location: https://github.com/AndrasKovacs/singleton-nats.git--flag singletons-3-0- description: Use @singletons-3.0@ or later.- default: True--library- exposed-modules:- Data.Nat-- build-depends:- base >=4.8.1.0 && <5-- if flag(singletons-3-0)- build-depends:- singletons >= 3.0 && < 3.1,- singletons-base >= 3.0 && < 3.4- else- build-depends:- singletons >= 2.2 && < 2.8-- default-language: Haskell2010- ghc-options: -Wall -Wno-unticked-promoted-constructors+name: singleton-nats +version: 0.4.7 +x-revision: 1 +synopsis: Unary natural numbers relying on the singletons infrastructure. +description: Unary natural number relying on the <https://hackage.haskell.org/package/singletons singletons> infrastructure. More information about the general usage of singletons can be found on the <https://github.com/goldfirere/singletons singletons github> page. +category: Data, Dependent Types +homepage: https://github.com/AndrasKovacs/singleton-nats +bug-reports: https://github.com/AndrasKovacs/singleton-nats/issues +license: BSD3 +license-file: LICENSE +author: András Kovács +maintainer: puttamalac@gmail.com +copyright: 2015 András Kovács + +build-type: Simple +cabal-version: >=1.10 +tested-with: GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.4, GHC == 8.10.7, GHC == 9.0.2, GHC == 9.2.8, GHC == 9.4.7, GHC == 9.6.3, GHC == 9.8.1 +extra-source-files: CHANGELOG.md, README.md + +source-repository head + type: git + location: https://github.com/AndrasKovacs/singleton-nats.git + +flag singletons-3-0 + description: Use @singletons-3.0@ or later. + default: True + +library + exposed-modules: + Data.Nat + + build-depends: + base >=4.8.1.0 && <5 + + if flag(singletons-3-0) + build-depends: + singletons >= 3.0 && < 3.1, + singletons-base >= 3.0 && < 3.5 + else + build-depends: + singletons >= 2.2 && < 2.8 + + default-language: Haskell2010 + ghc-options: -Wall -Wno-unticked-promoted-constructors
revision 2
name: singleton-nats version: 0.4.7 -x-revision: 1 +x-revision: 2 synopsis: Unary natural numbers relying on the singletons infrastructure. description: Unary natural number relying on the <https://hackage.haskell.org/package/singletons singletons> infrastructure. More information about the general usage of singletons can be found on the <https://github.com/goldfirere/singletons singletons github> page. category: Data, Dependent Types if flag(singletons-3-0) build-depends: singletons >= 3.0 && < 3.1, - singletons-base >= 3.0 && < 3.5 + singletons-base >= 3.0 && < 3.6 else build-depends: singletons >= 2.2 && < 2.8