Cabal revisions of logic-TPTP-0.4.6.0

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

-name: logic-TPTP-version: 0.4.6.0-cabal-version: >= 1.6-build-type: Simple-license: GPL-license-file: LICENSE-maintainer: Ahn, Ki Yung <kya@pdx.edu>, Daniel Schüssler <daniels@community.haskell.org>-bug-reports: http://github.com/DanielSchuessler/logic-TPTP/issues-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 all files in the TPTP (v 5.2.0) distribution's @Problems@ subtree which don't match the regex \"^(thf|tff)\(\", @parse . toTPTP . parse == parse@- .- Not yet implemented: The new /thf/ and /tff/ formula types.- .---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-                    changelog.markdown--tested-with: GHC==7.4.1-tested-with: GHC==7.2.1-tested-with: GHC==7.0.4--source-repository head- type: git- location: http://github.com/DanielSchuessler/logic-TPTP.git----Library- ghc-options: -Wall -O2-- build-depends:      base >=4 && < 5-                   , array-                   , syb-                   , containers-                   , ansi-wl-pprint-                   , QuickCheck >= 2-                   , mtl-                   , pointed-                   , semigroups-                   , transformers-                   , transformers-compat >= 0.5-- exposed-modules:   Codec.TPTP.Import-                  , Codec.TPTP.Base-                  , Codec.TPTP-                  , Codec.TPTP.Pretty-                  , Codec.TPTP.Export-                  , Codec.TPTP.Diff-- other-modules:-                    Lexer-                  , Parser-                  , ParserC-                  , Codec.TPTP.QuickCheck-                  , Util-- build-tools: alex >= 3.1.1, happy >= 1.19.1+name: logic-TPTP
+version: 0.4.6.0
+x-revision: 1
+cabal-version: >= 1.6
+build-type: Simple
+license: GPL
+license-file: LICENSE
+maintainer: Ahn, Ki Yung <kya@pdx.edu>, Daniel Schüssler <daniels@community.haskell.org>
+bug-reports: http://github.com/DanielSchuessler/logic-TPTP/issues
+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 all files in the TPTP (v 5.2.0) distribution's @Problems@ subtree which don't match the regex \"^(thf|tff)\(\", @parse . toTPTP . parse == parse@
+ .
+ Not yet implemented: The new /thf/ and /tff/ formula types.
+ .
+
+
+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
+                    changelog.markdown
+
+tested-with: GHC==7.4.1
+tested-with: GHC==7.2.1
+tested-with: GHC==7.0.4
+
+source-repository head
+ type: git
+ location: http://github.com/DanielSchuessler/logic-TPTP.git
+
+
+
+Library
+ ghc-options: -Wall -O2
+
+ build-depends:      base >=4 && < 5
+                   , array
+                   , syb
+                   , containers
+                   , ansi-wl-pprint < 1.0
+                   , QuickCheck >= 2
+                   , mtl
+                   , pointed
+                   , semigroups
+                   , transformers
+                   , transformers-compat >= 0.5
+
+ exposed-modules:   Codec.TPTP.Import
+                  , Codec.TPTP.Base
+                  , Codec.TPTP
+                  , Codec.TPTP.Pretty
+                  , Codec.TPTP.Export
+                  , Codec.TPTP.Diff
+
+ other-modules:
+                    Lexer
+                  , Parser
+                  , ParserC
+                  , Codec.TPTP.QuickCheck
+                  , Util
+
+ build-tools: alex >= 3.1.1, happy >= 1.19.1

 name: logic-TPTP
 version: 0.4.6.0
-x-revision: 1
+x-revision: 2
 cabal-version: >= 1.6
 build-type: Simple
 license: GPL
                    , containers
                    , ansi-wl-pprint < 1.0
                    , QuickCheck >= 2
-                   , mtl
+                   , mtl < 2.3
                    , pointed
                    , semigroups
                    , transformers