Cabal revisions of fin-0.1.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.1.1+x-revision: 1 synopsis: Nat and Fin: peano naturals and finite numbers category: Data, Dependent Types, Singletons, Math description: || ==8.2.2 || ==8.4.4 || ==8.6.5- || ==8.8.1+ || ==8.8.3+ || ==8.10.1 source-repository head type: git Data.Type.Nat.LT build-depends:- base >=4.7 && <4.14+ base >=4.7 && <4.15 , dec >=0.0.3 && <0.1 , deepseq >=1.3.0.2 && <1.5 , hashable >=1.2.7.0 && <1.4
revision 2
cabal-version: >=1.10 name: fin version: 0.1.1-x-revision: 1+x-revision: 2 synopsis: Nat and Fin: peano naturals and finite numbers category: Data, Dependent Types, Singletons, Math description: , dec >=0.0.3 && <0.1 , deepseq >=1.3.0.2 && <1.5 , hashable >=1.2.7.0 && <1.4- , QuickCheck >=2.13.2 && <2.14+ , QuickCheck >=2.13.2 && <2.15 if !impl(ghc >=8.2) build-depends: bifunctors >=5.5.3 && <5.6