packages feed

Cabal revisions of fin-0.3.2

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

revision 1
 cabal-version:      2.2 name:               fin version:            0.3.2+x-revision:         1 synopsis:           Nat and Fin: peano naturals and finite numbers category:           Data, Dependent Types, Singletons, Math description:    || ==9.0.2    || ==9.2.8    || ==9.4.8-   || ==9.6.5-   || ==9.8.2+   || ==9.6.6+   || ==9.8.4    || ==9.10.1+   || ==9.12.2  source-repository head   type:     git    -- GHC boot libs   build-depends:-    , base     >=4.12.0.0 && <4.21+    , base     >=4.12.0.0 && <4.22     , deepseq  >=1.4.4.0  && <1.6    -- other dependencies   build-depends:     , base     , fin-    , inspection-testing  >=0.2.0.1 && <0.6+    , inspection-testing  >=0.2.0.1 && <0.7     , tagged    if !impl(ghc >=8.0)
revision 2
 cabal-version:      2.2 name:               fin version:            0.3.2-x-revision:         1+x-revision:         2 synopsis:           Nat and Fin: peano naturals and finite numbers category:           Data, Dependent Types, Singletons, Math description:    || ==9.4.8    || ==9.6.6    || ==9.8.4-   || ==9.10.1+   || ==9.10.3    || ==9.12.2+   || ==9.14.1  source-repository head   type:     git    -- GHC boot libs   build-depends:-    , base     >=4.12.0.0 && <4.22+    , base     >=4.12.0.0 && <4.23     , deepseq  >=1.4.4.0  && <1.6    -- other dependencies     , boring         ^>=0.2.2     , dec            ^>=0.0.6     , hashable       ^>=1.4.4.0 || ^>=1.5.0.0-    , QuickCheck     ^>=2.14.2  || ^>=2.15-    , some           ^>=1.0.6+    , QuickCheck     ^>=2.14.2  || ^>=2.15    || ^>=2.18.0.0+    , some           ^>=1.0.6   || ^>=1.1     , universe-base  ^>=1.1.4    if impl(ghc >=9.0)