equational-reasoning 0.6.0.2 → 0.6.0.3
raw patch · 1 files changed
+4/−4 lines, 1 filesdep ~template-haskellPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: template-haskell
API changes (from Hackage documentation)
Files
equational-reasoning.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/ name: equational-reasoning-version: 0.6.0.2+version: 0.6.0.3 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.@@ -14,8 +14,7 @@ category: Math build-type: Simple tested-with: GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.1, GHC == 8.6.5, GHC == 8.8.2-cabal-version: >=1.8-+cabal-version: >=1.10 source-repository head type: git location: git://github.com/konn/equational-reasoning-in-haskell.git@@ -28,7 +27,7 @@ ghc-options: -Wall build-depends: base >= 4 && < 5 , containers >= 0.5 && < 0.7- , template-haskell >= 2.11 && < 2.16+ , template-haskell >= 2.11 && < 2.17 , th-extras == 0.0.* , void >= 0.6 && < 0.8 if impl(ghc >= 8.4)@@ -36,3 +35,4 @@ else build-depends: semigroups == 0.18.* build-depends: th-desugar >= 1.6 && < 1.8+ default-language: Haskell2010