packages feed

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