Cabal revisions of logic-TPTP-0.2.0

Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.

-name: logic-TPTP    -version: 0.2.0-cabal-version: >= 1.6-build-type: Simple-license: GPL-license-file: LICENSE-maintainer: Daniel Schüssler <daniels@community.haskell.org>-bug-reports: mailto:daniels@community.haskell.org -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-                    testing/Common.hs-                    testing/profiling.sh-                    testing/Prof.hs-                    profiling-build.sh-                    -tested-with: GHC==6.10.2--source-repository head- type: darcs- location: http://code.haskell.org/~daniels/logic-TPTP- - --Library- ghc-options:     -O2- - build-depends:      base >=4 -                   , 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
+x-revision: 1
+cabal-version: >= 1.6
+build-type: Simple
+license: GPL
+license-file: LICENSE
+maintainer: Daniel Schüssler <daniels@community.haskell.org>
+bug-reports: mailto:daniels@community.haskell.org 
+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
+                    testing/Common.hs
+                    testing/profiling.sh
+                    testing/Prof.hs
+                    profiling-build.sh
+                    
+tested-with: GHC==6.10.2
+
+source-repository head
+ type: darcs
+ location: http://code.haskell.org/~daniels/logic-TPTP
+ 
+ 
+
+Library
+ ghc-options:     -O2
+ 
+ build-depends:      base >=4 
+                   , 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

 name: logic-TPTP    
 version: 0.2.0
-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