Cabal revisions of equational-reasoning-0.7.1.0

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

-cabal-version: 3.4-name: equational-reasoning-version: 0.7.1.0-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: BSD-3-Clause-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.2.8 || ==9.4.8 || ==9.6.5 || ==9.8.4 || ==9.10.1 || ==9.12.1--extra-doc-files:-  Changelog.md-  README.md--source-repository head-  type: git-  location: git://github.com/konn/equational-reasoning-in-haskell.git--library-  -- cabal-gild: discover ./Proof/**/*.hs --exclude Proof/Propositional/TH.hs-  exposed-modules:-    Proof.Equational-    Proof.Propositional-    Proof.Propositional.Empty-    Proof.Propositional.Inhabited--  other-modules: Proof.Propositional.TH-  ghc-options: -Wall-  build-depends:-    base >=4.13 && <5,-    containers >=0.5 && <0.8,-    template-haskell >=2.11 && <2.24,-    th-desugar >=1.13 && <1.19,-    void >=0.6 && <0.8,--  default-language: Haskell2010+cabal-version: 3.4
+x-revision: 1
+name: equational-reasoning
+version: 0.7.1.0
+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: BSD-3-Clause
+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.2.8 || ==9.4.8 || ==9.6.5 || ==9.8.4 || ==9.10.1 || ==9.12.2 || ==9.14.1
+
+extra-doc-files:
+  Changelog.md
+  README.md
+
+source-repository head
+  type: git
+  location: https://github.com/konn/equational-reasoning-in-haskell
+
+library
+  -- cabal-gild: discover ./Proof/**/*.hs --exclude Proof/Propositional/TH.hs
+  exposed-modules:
+    Proof.Equational
+    Proof.Propositional
+    Proof.Propositional.Empty
+    Proof.Propositional.Inhabited
+
+  other-modules: Proof.Propositional.TH
+  ghc-options: -Wall
+  build-depends:
+    base >=4.13 && <5,
+    containers >=0.5 && <0.9,
+    template-haskell >=2.11 && <2.25,
+    th-desugar >=1.13 && <1.20,
+    void >=0.6 && <0.8,
+
+  default-language: Haskell2010