Cabal revisions of coercible-subtypes-1

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

-cabal-version:       2.2-name:                coercible-subtypes-version:             1-stability:           experimental-synopsis:            Coercible but only in one direction-description: Newtype wrapper 'Data.Type.Coercion.Sub.Sub'-             around 'Data.Type.Coercion.Coercion'-             to represent unidirectional coercion,-             and combinators for it, like 'Data.Type.Coercion.Sub.mapR'-             which extends coercion over covariant @Functor@.--homepage:            https://github.com/viercc/coercible-subtypes-bug-reports:         https://github.com/viercc/coercible-subtypes/issues-license:             BSD-3-Clause-license-file:        LICENSE-author:              Koji Miyazato-maintainer:          viercc@gmail.com-copyright:           (c) 2020-2021 Koji Miyazato-category:            Data-build-type:          Simple-extra-source-files:  README.md-extra-doc-files:     CHANGELOG.md--source-repository HEAD-  type:     git-  location: https://github.com/viercc/coercible-subtypes-  branch:   master--library-  exposed-modules:     Data.Type.Coercion.Sub,-                       Data.Type.Coercion.Sub.Internal,-                       Data.Type.Coercion.Related,-                       Data.Type.Coercion.Related.Internal,-                       Newtype.Union,-                       Newtype.Intersection-  build-depends:       base >=4.12 && <4.22-  hs-source-dirs:      src-  default-language:    Haskell2010-  ghc-options:         -Wall -Wcompat+cabal-version:       2.2
+name:                coercible-subtypes
+version:             1
+x-revision:          1
+stability:           experimental
+synopsis:            Coercible but only in one direction
+description: Newtype wrapper 'Data.Type.Coercion.Sub.Sub'
+             around 'Data.Type.Coercion.Coercion'
+             to represent unidirectional coercion,
+             and combinators for it, like 'Data.Type.Coercion.Sub.mapR'
+             which extends coercion over covariant @Functor@.
+
+homepage:            https://github.com/viercc/coercible-subtypes
+bug-reports:         https://github.com/viercc/coercible-subtypes/issues
+license:             BSD-3-Clause
+license-file:        LICENSE
+author:              Koji Miyazato
+maintainer:          viercc@gmail.com
+copyright:           (c) 2020-2021 Koji Miyazato
+category:            Data
+build-type:          Simple
+extra-source-files:  README.md
+extra-doc-files:     CHANGELOG.md
+
+source-repository HEAD
+  type:     git
+  location: https://github.com/viercc/coercible-subtypes
+  branch:   master
+
+library
+  exposed-modules:     Data.Type.Coercion.Sub,
+                       Data.Type.Coercion.Sub.Internal,
+                       Data.Type.Coercion.Related,
+                       Data.Type.Coercion.Related.Internal,
+                       Newtype.Union,
+                       Newtype.Intersection
+  build-depends:       base >=4.12 && <4.23
+  hs-source-dirs:      src
+  default-language:    Haskell2010
+  ghc-options:         -Wall -Wcompat