Cabal revisions of bin-0.1.3

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

 cabal-version:      2.2 name:               bin version:            0.1.3+x-revision:         1 synopsis:           Bin: binary natural numbers. category:           Data, Dependent Types, Singletons, Math description:    || ==8.8.4    || ==8.10.7    || ==9.0.2-   || ==9.2.7-   || ==9.4.4-   || ==9.6.1+   || ==9.2.8+   || ==9.4.7+   || ==9.6.3+   || ==9.8.1  source-repository head   type:     git    other-modules:    TrustworthyCompat   build-depends:-    , base        >=4.7     && <4.19+    , base        >=4.7     && <4.20     , boring      ^>=0.2     , dec         ^>=0.0.3-    , deepseq     >=1.3.0.2 && <1.5+    , deepseq     >=1.3.0.2 && <1.6     , fin         ^>=0.3     , hashable    >=1.2.7.0 && <1.5     , QuickCheck  ^>=2.14.2