summaryrefslogtreecommitdiff
path: root/equational-reasoning.cabal
diff options
context:
space:
mode:
Diffstat (limited to 'equational-reasoning.cabal')
-rw-r--r--equational-reasoning.cabal4
1 files changed, 2 insertions, 2 deletions
diff --git a/equational-reasoning.cabal b/equational-reasoning.cabal
index e5d4c6e..98c0649 100644
--- a/equational-reasoning.cabal
+++ b/equational-reasoning.cabal
@@ -2,7 +2,7 @@
-- documentation, see http://haskell.org/cabal/users-guide/
name: equational-reasoning
-version: 0.6.0.1
+version: 0.6.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.
@@ -32,7 +32,7 @@ library
, th-extras == 0.0.*
, void >= 0.6 && < 0.8
if impl(ghc >= 8.4)
- build-depends: th-desugar >= 1.8 && < 1.11
+ build-depends: th-desugar >= 1.8 && < 1.12
else
build-depends: semigroups == 0.18.*
build-depends: th-desugar >= 1.6 && < 1.8