summaryrefslogtreecommitdiff
path: root/equational-reasoning.cabal
diff options
context:
space:
mode:
Diffstat (limited to 'equational-reasoning.cabal')
-rw-r--r--equational-reasoning.cabal13
1 files changed, 6 insertions, 7 deletions
diff --git a/equational-reasoning.cabal b/equational-reasoning.cabal
index 30fbe33..e5d4c6e 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.0
+version: 0.6.0.1
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.
@@ -10,10 +10,10 @@ license: BSD3
license-file: LICENSE
author: Hiromi ISHII
maintainer: konn.jinro_at_gmail.com
-copyright: (c) Hiromi ISHII 2013-2018
+copyright: (c) Hiromi ISHII 2013-2020
category: Math
build-type: Simple
-tested-with: GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.1, GHC == 8.6.3
+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
source-repository head
@@ -24,8 +24,7 @@ library
exposed-modules: Proof.Equational, Proof.Propositional
, Proof.Propositional.Inhabited
, Proof.Propositional.Empty
- other-modules: Proof.Internal.THCompat
- , Proof.Propositional.TH
+ other-modules: Proof.Propositional.TH
ghc-options: -Wall
build-depends: base >= 4 && < 5
, containers >= 0.5 && < 0.7
@@ -33,7 +32,7 @@ library
, th-extras == 0.0.*
, void >= 0.6 && < 0.8
if impl(ghc >= 8.4)
- build-depends: th-desugar >= 1.6 && < 1.11
+ build-depends: th-desugar >= 1.8 && < 1.11
else
build-depends: semigroups == 0.18.*
- build-depends: th-desugar >= 1.6 && < 1.11
+ build-depends: th-desugar >= 1.6 && < 1.8