Cabal revisions of equational-reasoning-0.6.0.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
--- Initial equational-reasoning.cabal generated by cabal init. For further--- documentation, see http://haskell.org/cabal/users-guide/--name: equational-reasoning-version: 0.6.0.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: BSD3-license-file: LICENSE-author: Hiromi ISHII-maintainer: konn.jinro_at_gmail.com-copyright: (c) Hiromi ISHII 2013-2018-category: Math-build-type: Simple-tested-with: GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.1, GHC == 8.6.3-cabal-version: >=1.8--source-repository head- type: git- location: git://github.com/konn/equational-reasoning-in-haskell.git--library- exposed-modules: Proof.Equational, Proof.Propositional- , Proof.Propositional.Inhabited- , Proof.Propositional.Empty- other-modules: Proof.Internal.THCompat- , Proof.Propositional.TH- ghc-options: -Wall- build-depends: base >= 4 && < 5- , containers >= 0.5 && < 0.7- , template-haskell >= 2.11 && < 2.16- , th-extras == 0.0.*- , void >= 0.6 && < 0.8- if impl(ghc >= 8.4)- build-depends: th-desugar >= 1.6 && < 1.11- else- build-depends: semigroups == 0.18.*- build-depends: th-desugar >= 1.6 && < 1.11+-- Initial equational-reasoning.cabal generated by cabal init. For further +-- documentation, see http://haskell.org/cabal/users-guide/ + +name: equational-reasoning +version: 0.6.0.0 +x-revision: 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. +license: BSD3 +license-file: LICENSE +author: Hiromi ISHII +maintainer: konn.jinro_at_gmail.com +copyright: (c) Hiromi ISHII 2013-2018 +category: Math +build-type: Simple +tested-with: GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.1, GHC == 8.6.3 +cabal-version: >=1.8 + +source-repository head + type: git + location: git://github.com/konn/equational-reasoning-in-haskell.git + +library + exposed-modules: Proof.Equational, Proof.Propositional + , Proof.Propositional.Inhabited + , Proof.Propositional.Empty + other-modules: Proof.Internal.THCompat + , Proof.Propositional.TH + ghc-options: -Wall + build-depends: base >= 4 && < 5 + , containers >= 0.5 && < 0.7 + , template-haskell >= 2.11 && < 2.16 + , th-extras == 0.0.* + , void >= 0.6 && < 0.8 + if impl(ghc >= 8.4) + build-depends: th-desugar >= 1.8 && < 1.11 + else + build-depends: th-desugar >= 1.6 && < 1.8 + build-depends: semigroups == 0.18.*