diff --git a/RELEASE-NOTES b/RELEASE-NOTES --- a/RELEASE-NOTES +++ b/RELEASE-NOTES @@ -1,2 +1,3 @@ 0.1 - initial release 23/09/2010 - +0.2 - ? +0.3 - fixed ambiguous import with more recent QuickCheck library 21/07/2023 diff --git a/src/Main.hs b/src/Main.hs --- a/src/Main.hs +++ b/src/Main.hs @@ -128,7 +128,7 @@ signature = - address << [toHtml "Pedro Vasconcelos ", + address << [toHtml "Pedro Vasconcelos ", br, toHtml "LIACC, University of Porto, PORTUGAL"] diff --git a/src/Parser.hs b/src/Parser.hs --- a/src/Parser.hs +++ b/src/Parser.hs @@ -14,7 +14,7 @@ import Control.Monad import Data.Char import Data.List (intersperse) -import Test.QuickCheck +import Test.QuickCheck hiding (Fun) -- setup a tokenizer lexer :: P.TokenParser () diff --git a/tableaux.cabal b/tableaux.cabal --- a/tableaux.cabal +++ b/tableaux.cabal @@ -1,5 +1,5 @@ name: tableaux -version: 0.2 +version: 0.3 category: Theorem Provers @@ -13,28 +13,28 @@ web server supporting the CGI interface. -author: Pedro Vasconcelos -maintainer: Pedro Vasconcelos +author: Pedro Vasconcelos +maintainer: Pedro Vasconcelos license: BSD3 license-file: LICENSE build-type: Simple -cabal-version: >= 1.6 +cabal-version: >= 1.10 extra-source-files: README INSTALL RELEASE-NOTES executable tableaux.cgi + default-language: Haskell2010 hs-source-dirs: src main-is: Main.hs other-modules: FOL Unify Tableaux Markup CSS Parser Zipper Examples Util build-depends: base >= 4 && < 5, - containers, - mtl >= 1.1, - html >= 1.0, - parsec >= 2.1, - cgi >= 3001.1, - QuickCheck >= 2.1 - + QuickCheck >= 2.13.2 && < 2.14, + containers >= 0.6.2 && < 0.7, + cgi >= 3001.5.0 && < 3001.6, + mtl >= 2.2.2 && < 2.3, + parsec >= 3.1.14 && < 3.2, + html >= 1.0.1 && < 1.1