Cabal revisions of logic-TPTP-0.2.0.1
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: logic-TPTP -version: 0.2.0.1-cabal-version: >= 1.6-build-type: Simple-license: GPL-license-file: LICENSE-maintainer: Ahn, Ki Yung <kya@pdx.edu>-bug-reports: mailto:daniels@community.haskell.org,kya@pdx.edu-synopsis: Import, export etc. for TPTP, a syntax for first-order logic-description: - For information about the TPTP format, see <http://www.cs.miami.edu/~tptp/>.- .- Components:- .- - Parser ('parse')- .- - Exporter ('toTPTP')- .- - Pretty-printer ('pretty')- .- - QuickCheck instances (generation of random formulae)- . - - 'diff' : Get a \"formula\" which represents the differences between two given formulae (equal subexpressions are truncated; so are the subexpressions of subexpressions whose heads already differ)- .- Tests passed:- .- - For randomly generated formulae, @parse . toTPTP == id@- .- - For the @.p@ files in the TPTP (v 3.7.0.0) distribution's @PROBLEMS@ subtree which don't contain the string \"thf(\", @parse . toTPTP . parse == parse@ - .- Not yet implemented: The new /thf/ formula type.- .- - -category: Codec,Math,Theorem Provers-author: Daniel Schüssler-cabal-version: >= 1.6-extra-source-files: testing/compileTests.sh- testing/TestImportExportRandom.hs- testing/TestImportExportImportFile.hs- testing/PrettyPrintFile.hs- testing/ParseRandom.hs- -tested-with: GHC==6.10.2--source-repository head- type: darcs- location: http://patch-tag.com/r/kyagrd/logic-TPTP- - --Library- ghc-options: -O2- - build-depends: base >=4 && < 5- , array- , syb- , containers- , haskell98- , ansi-wl-pprint- , QuickCheck >= 2 - , utf8-prelude- , mtl- - exposed-modules: Codec.TPTP.Import- ,Codec.TPTP.Base- ,Codec.TPTP- ,Codec.TPTP.Pretty- ,Codec.TPTP.Export- ,Codec.TPTP.Diff- - other-modules:- Lexer - , Parser- ,Codec.TPTP.QuickCheck+name: logic-TPTP +version: 0.2.0.1 +x-revision: 1 +cabal-version: >= 1.6 +build-type: Simple +license: GPL +license-file: LICENSE +maintainer: Ahn, Ki Yung <kya@pdx.edu> +bug-reports: mailto:daniels@community.haskell.org,kya@pdx.edu +synopsis: Import, export etc. for TPTP, a syntax for first-order logic +description: + For information about the TPTP format, see <http://www.cs.miami.edu/~tptp/>. + . + Components: + . + - Parser ('parse') + . + - Exporter ('toTPTP') + . + - Pretty-printer ('pretty') + . + - QuickCheck instances (generation of random formulae) + . + - 'diff' : Get a \"formula\" which represents the differences between two given formulae (equal subexpressions are truncated; so are the subexpressions of subexpressions whose heads already differ) + . + Tests passed: + . + - For randomly generated formulae, @parse . toTPTP == id@ + . + - For the @.p@ files in the TPTP (v 3.7.0.0) distribution's @PROBLEMS@ subtree which don't contain the string \"thf(\", @parse . toTPTP . parse == parse@ + . + Not yet implemented: The new /thf/ formula type. + . + + +category: Codec,Math,Theorem Provers +author: Daniel Schüssler +extra-source-files: testing/compileTests.sh + testing/TestImportExportRandom.hs + testing/TestImportExportImportFile.hs + testing/PrettyPrintFile.hs + testing/ParseRandom.hs + +tested-with: GHC==6.10.2 + +source-repository head + type: darcs + location: http://patch-tag.com/r/kyagrd/logic-TPTP + + + +Library + ghc-options: -O2 + + build-depends: base >=4 && < 5 + , array + , syb + , containers + , haskell98 + , ansi-wl-pprint < 1.0 + , QuickCheck >= 2 + , utf8-prelude + , mtl + + exposed-modules: Codec.TPTP.Import + ,Codec.TPTP.Base + ,Codec.TPTP + ,Codec.TPTP.Pretty + ,Codec.TPTP.Export + ,Codec.TPTP.Diff + + other-modules: + Lexer + , Parser + ,Codec.TPTP.QuickCheck
revision 2
name: logic-TPTP version: 0.2.0.1 -x-revision: 1 +x-revision: 2 cabal-version: >= 1.6 build-type: Simple license: GPL , ansi-wl-pprint < 1.0 , QuickCheck >= 2 , utf8-prelude - , mtl + , mtl < 2.3 exposed-modules: Codec.TPTP.Import ,Codec.TPTP.Base