Cabal revisions of equational-reasoning-0.7.0.2

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

-name:          equational-reasoning-version:       0.7.0.2-synopsis:      Proof assistant for Haskell using DataKinds & PolyKinds-description:-  A simple convenient library to write equational / preorder proof as in Agda.-  Since 0.6.0.0, this no longer depends on @singletons@ package, and the @Proof.Induction@ module goes to @equational-reasoning-induction@ package.--license:       BSD3-license-file:  LICENSE-author:        Hiromi ISHII-maintainer:    konn.jinro_at_gmail.com-copyright:     (c) Hiromi ISHII 2013-2020-category:      Math-build-type:    Simple-tested-with:-  GHC ==9.0.2-   || ==9.2.8-   || ==9.4.8-   || ==9.6.3-   || ==9.8.1--cabal-version: >=1.10--source-repository head-  type:     git-  location: git://github.com/konn/equational-reasoning-in-haskell.git--library-  exposed-modules:-    Proof.Equational-    Proof.Propositional-    Proof.Propositional.Empty-    Proof.Propositional.Inhabited--  other-modules:    Proof.Propositional.TH-  ghc-options:      -Wall-  build-depends:-      base              >=4    && <5-    , containers        >=0.5  && <0.7-    , template-haskell  >=2.11 && <2.22-    , void              >=0.6  && <0.8-    , th-desugar >=1.8 && <1.17--  default-language: Haskell2010+name:          equational-reasoning
+version:       0.7.0.2
+synopsis:      Proof assistant for Haskell using DataKinds & PolyKinds
+description:
+  A simple convenient library to write equational / preorder proof as in Agda.
+  Since 0.6.0.0, this no longer depends on @singletons@ package, and the @Proof.Induction@ module goes to @equational-reasoning-induction@ package.
+
+x-revision: 1
+license:       BSD3
+license-file:  LICENSE
+author:        Hiromi ISHII
+maintainer:    konn.jinro_at_gmail.com
+copyright:     (c) Hiromi ISHII 2013-2020
+category:      Math
+build-type:    Simple
+tested-with:
+  GHC ==9.0.2
+   || ==9.2.8
+   || ==9.4.8
+   || ==9.6.4
+   || ==9.8.2
+
+cabal-version: >=1.10
+
+source-repository head
+  type:     git
+  location: git://github.com/konn/equational-reasoning-in-haskell.git
+
+library
+  exposed-modules:
+    Proof.Equational
+    Proof.Propositional
+    Proof.Propositional.Empty
+    Proof.Propositional.Inhabited
+
+  other-modules:    Proof.Propositional.TH
+  ghc-options:      -Wall
+  build-depends:
+      base              >=4    && <5
+    , containers        >=0.5  && <0.7
+    , template-haskell  >=2.11 && <2.23
+    , void              >=0.6  && <0.8
+    , th-desugar >=1.8 && <1.18
+
+  default-language: Haskell2010