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