packages feed

Cabal revisions of fin-0.0.1

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

revision 1
+cabal-version:       >=1.10 name:                fin version:             0.0.1+x-revision:          1+ synopsis:            Nat and Fin: peano naturals and finite numbers+category:            Data description:   This package provides two simple types, and some tools to work with them.   Also on type level as @DataKinds@. author:              Oleg Grenrus <oleg.grenrus@iki.fi> maintainer:          Oleg.Grenrus <oleg.grenrus@iki.fi> copyright:           (c) 2017 Oleg Grenrus-category:            Data build-type:          Simple extra-source-files:  ChangeLog.md-cabal-version:       >=1.10 tested-with:   GHC==7.8.4,   GHC==7.10.3,   GHC==8.0.2,   GHC==8.2.2,-  GHC==8.4.1+  GHC==8.4.3,+  GHC==8.6.1  source-repository head   type:      git     Data.Nat     Data.Type.Nat   build-depends:-    base     >=4.7     && <4.12,+    base     >=4.7     && <4.13,     deepseq  >=1.3.0.2 && <1.5,     hashable >=1.2.7.0 && <1.3      base,     fin,     tagged,-    inspection-testing >= 0.2.0.1 && <0.3+    inspection-testing >= 0.2.0.1 && <0.4    if !impl(ghc >= 8.0)     buildable: False