Cabal revisions of sized-1.0.0.0

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

-cabal-version: >=2.0-name:          sized-version:       1.0.0.0-license:       BSD3-license-file:  LICENSE-maintainer:    konn.jinro_at_gmail.com-author:        Hiromi ISHII-tested-with:-    ghc ==8.6.5, ghc ==8.8.4, ghc ==8.10.3--synopsis:      Sized sequence data-types-description:-    A wrapper to make length-parametrized data-type from functorial data-types.--category:      Data-build-type:    Simple--source-repository head-    type:     git-    location: git://github.com/konn/sized.git--library-    exposed-modules:-        Data.Sized-        Data.Sized.Builtin-        Data.Sized.Flipped--    hs-source-dirs:   src-    other-modules:    Data.Sized.Internal-    default-language: Haskell2010-    ghc-options:      -O2 -Wall -Wno-redundant-constraints-    build-depends:-        base ==4.*,-        constraints,-        these,-        type-natural >=0.8.1.0,-        ghc-typelits-presburger >=0.4,-        ghc-typelits-knownnat,-        mono-traversable >=0.10,-        subcategories,-        deepseq >=1.4,-        hashable >=1.2,-        vector >=0.12,-        containers >=0.5,-        equational-reasoning >=0.5,-        lens >=0.14--test-suite optimisaion-test-    type:           exitcode-stdio-1.0-    main-is:        opt-test.hs-    hs-source-dirs: test-    other-modules:    Shared-    default-language: Haskell2010-    ghc-options:    -O2 -Wall -Wno-redundant-constraints -fno-hpc-    build-depends:-        base -any,-        containers -any,-        hspec -any,-        inspection-testing ^>=0.4,-        mono-traversable -any,-        sized -any,-        template-haskell -any,-        type-natural,-        th-lift -any,-        subcategories -any,-        vector -any+cabal-version: >=2.0
+name:          sized
+version:       1.0.0.0
+x-revision: 1
+license:       BSD3
+license-file:  LICENSE
+maintainer:    konn.jinro_at_gmail.com
+author:        Hiromi ISHII
+tested-with:
+    ghc ==8.6.5, ghc ==8.8.4, ghc ==8.10.3
+
+synopsis:      Sized sequence data-types
+description:
+    A wrapper to make length-parametrized data-type from functorial data-types.
+
+category:      Data
+build-type:    Simple
+
+source-repository head
+    type:     git
+    location: git://github.com/konn/sized.git
+
+library
+    exposed-modules:
+        Data.Sized
+        Data.Sized.Builtin
+        Data.Sized.Flipped
+
+    hs-source-dirs:   src
+    other-modules:    Data.Sized.Internal
+    default-language: Haskell2010
+    ghc-options:      -O2 -Wall -Wno-redundant-constraints
+    build-depends:
+        base ==4.*,
+        constraints,
+        these,
+        type-natural >=0.8.1.0,
+        ghc-typelits-presburger >=1.0,
+        ghc-typelits-knownnat,
+        mono-traversable >=0.10,
+        subcategories,
+        deepseq >=1.4,
+        hashable >=1.2,
+        vector >=0.12,
+        containers >=0.5,
+        equational-reasoning >=0.5,
+        lens >=0.14
+
+test-suite optimisaion-test
+    type:           exitcode-stdio-1.0
+    main-is:        opt-test.hs
+    hs-source-dirs: test
+    other-modules:    Shared
+    default-language: Haskell2010
+    ghc-options:    -O2 -Wall -Wno-redundant-constraints -fno-hpc
+    build-depends:
+        base -any,
+        containers -any,
+        hspec -any,
+        inspection-testing ^>=0.4,
+        mono-traversable -any,
+        sized -any,
+        template-haskell -any,
+        type-natural,
+        th-lift -any,
+        subcategories -any,
+        vector -any

 cabal-version: >=2.0
 name:          sized
 version:       1.0.0.0
-x-revision: 1
+x-revision: 2
 license:       BSD3
 license-file:  LICENSE
 maintainer:    konn.jinro_at_gmail.com
         base ==4.*,
         constraints,
         these,
-        type-natural >=0.8.1.0,
+        type-natural >=1.0,
         ghc-typelits-presburger >=1.0,
         ghc-typelits-knownnat,
         mono-traversable >=0.10,

 cabal-version: >=2.0
 name:          sized
 version:       1.0.0.0
-x-revision: 2
+x-revision: 3
 license:       BSD3
 license-file:  LICENSE
 maintainer:    konn.jinro_at_gmail.com
         constraints,
         these,
         type-natural >=1.0,
-        ghc-typelits-presburger >=1.0,
+        ghc-typelits-presburger >=0.5,
         ghc-typelits-knownnat,
         mono-traversable >=0.10,
         subcategories,