Update from Hackage at 2019-06-10T22:20:59Z

tptp/0.1.0.3/tptp.cabal

@@ -0,0 +1,137 @@
+cabal-version: 2.4
+name: tptp
+version: 0.1.0.3
+synopsis: A parser and a pretty printer for the TPTP language
+description:
+  <http://www.tptp.org TPTP> (Thousands of Problems for Theorem Provers)
+  is the standard language of problems, proofs, and models, used by automated
+  theorem provers.
+  .
+  This library provides definitions of data types, a pretty printer and an
+  <http://hackage.haskell.org/package/attoparsec attoparsec> parser for
+  (currently, a subset of) the TPTP language.
+homepage: https://github.com/aztek/tptp
+bug-reports: https://github.com/aztek/tptp/issues
+license: GPL-3.0-only
+license-file: LICENSE
+author: Evgenii Kotelnikov
+maintainer: evgeny.kotelnikov@gmail.com
+category: Language, Parsing, Pretty Printer, Theorem Provers, Formal Methods
+tested-with:
+  GHC == 7.8.4,
+  GHC == 7.10.3,
+  GHC == 8.0.2,
+  GHC == 8.2.2,
+  GHC == 8.4.4,
+  GHC == 8.6.5
+
+extra-source-files:
+  CHANGELOG.md
+  test/*.hs
+  test/**/*.hs
+  test-data/tptp/**/*.ax
+  test-data/tptp/**/*.p
+  test-data/tstp/**/*.s
+
+source-repository head
+  type: git
+  location: git://github.com/aztek/tptp.git
+
+flag Werror
+  default: False
+  manual: True
+
+library
+  hs-source-dirs: src
+  default-language: Haskell2010
+  exposed-modules:
+    Data.TPTP
+    Data.TPTP.Parse.Combinators
+    Data.TPTP.Parse.Text
+    Data.TPTP.Parse.Text.Lazy
+    Data.TPTP.Pretty
+  ghc-options:
+    -Wall
+  if flag(Werror)
+    ghc-options: -Werror
+  build-depends:
+    base          >= 4.5    && < 5.0,
+    text          >= 1.2.3  && < 1.3,
+    attoparsec    >= 0.13.2 && < 0.14,
+    scientific    >= 0.3.6  && < 0.4,
+    prettyprinter >= 1.2.1  && < 1.3,
+  if impl(ghc < 8)
+    ghc-options:
+      -fwarn-incomplete-record-updates -fwarn-incomplete-uni-patterns
+    build-depends:
+      semigroups  >= 0.16.1 && < 0.19
+  if impl(ghc >= 8)
+    ghc-options:
+      -Wcompat -Wincomplete-record-updates -Wincomplete-uni-patterns
+      -Wredundant-constraints
+
+test-suite quickcheck-spec
+  type: exitcode-stdio-1.0
+  hs-source-dirs: test/QuickCheckSpec
+  default-language: Haskell2010
+  main-is: Main.hs
+  other-modules:
+    Generators
+    Normalizers
+  ghc-options:
+    -Wall -threaded
+  if flag(Werror)
+    ghc-options: -Werror
+  build-depends:
+    base,
+    text,
+    attoparsec,
+    scientific,
+    prettyprinter,
+    generic-random >= 1.2.0.0 && < 1.3,
+    QuickCheck     >= 2.4     && < 3.0,
+    tptp
+  if impl(ghc < 8)
+    build-depends:
+      semigroups
+  if impl(ghc < 8.2)
+    build-depends:
+      bifunctors   >= 3.0.1   && < 6
+
+test-suite unit-tests
+  type: detailed-0.9
+  hs-source-dirs: test
+  default-language: Haskell2010
+  test-module: UnitTests
+  ghc-options:
+    -Wall -threaded
+  if flag(Werror)
+    ghc-options: -Werror
+  -- TODO: Workaround the pesky bug in ghc 8.0
+  -- https://stackoverflow.com/q/39310043/1344648
+  if (impl(ghc >= 8.0.0)) && (impl(ghc < 8.1.0))
+    buildable: False
+  build-depends:
+    base,
+    text,
+    Cabal     >= 1.16.0,
+    extra     >= 1.4.4 && < 1.7,
+    directory >= 1.2.5 && < 1.4,
+    tptp
+
+test-suite doctests
+  type: exitcode-stdio-1.0
+  hs-source-dirs: test/DocTests
+  default-language: Haskell2010
+  main-is: Main.hs
+  ghc-options:
+    -Wall -threaded
+  if flag(Werror)
+    ghc-options: -Werror
+  -- TODO: Make it work for older GHCs
+  if impl(ghc < 8.4)
+    buildable: False
+  build-depends:
+    base,
+    QuickCheck,
+    doctest

tptp/0.1.0.3/tptp.json

@@ -0,0 +1 @@
+{"package-hashes":{"MD5":"8ce31bc2e107818aa521271c64001b0a","Skein512_512":"8a62126acad7733ac5805721a60d4bd0f343a0961972fafbad1a23d461d09932d2d1ad9971eab831743a3e09a3f7c5cde8403c02e5a1bdc670375d9adbe87230","SHA1":"995699ffdd7db7c7ccb2cb96b9fd2fe6ea3ce569","SHA512":"f703ae6fc7999b60dfe52cb551c962bba8f9e57ee5fe02f9032c709a2df915461ca69b35c9d77fe4966b6d74f2c483cfbb3fb9d44f61c45cf23048b2758439d0","SHA256":"9127932298a748ba52c94aa2d23384834e1d17f585b79de3737eaa61047900c0"},"package-locations":["https://hackage.haskell.org/package/tptp-0.1.0.3/tptp-0.1.0.3.tar.gz","https://s3.amazonaws.com/hackage.fpcomplete.com/package/tptp-0.1.0.3.tar.gz"],"package-size":1079367}

webdriver/0.9.0.1/webdriver.cabal

@@ -0,0 +1,95 @@
+Name: webdriver
+Version: 0.9.0.1
+Cabal-Version: >= 1.10
+License: BSD3
+License-File: LICENSE
+Author: Adam Curtis
+Maintainer: kallisti.dev@gmail.com
+Homepage: https://github.com/kallisti-dev/hs-webdriver
+Bug-Reports: https://github.com/kallisti-dev/hs-webdriver/issues
+Category: Web, Browser, Testing, WebDriver, Selenium
+Synopsis: a Haskell client for the Selenium WebDriver protocol
+Build-Type: Simple
+Extra-Source-Files: README.md, TODO.md, CHANGELOG.md, .ghci
+Tested-With: GHC == 7.4.2, GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.3, GHC == 8.0.1
+Description:
+        A Selenium WebDriver client for Haskell.
+        You can use it to automate browser sessions
+        for testing, system administration, etc.
+        .
+        For more information about Selenium itself, see
+        <http://seleniumhq.org/>
+        .
+        To find out what's been changed in this version and others,
+        see the change log at
+        <https://github.com/kallisti-dev/hs-webdriver/blob/master/CHANGELOG.md>
+
+Source-Repository head
+  type: git
+  location: git://github.com/kallisti-dev/hs-webdriver.git
+
+Flag network-uri
+  description: Get Network.URI from the network-uri package
+  default: True
+
+Flag developer
+  description: Package development mode
+  default: False
+  manual: True
+
+Library
+  hs-source-dirs: src
+  default-language: Haskell2010
+  ghc-options: -Wall
+  if flag(developer)
+    cpp-options: -DCABAL_BUILD_DEVELOPER
+  build-depends:   base == 4.*
+                 , aeson >= 0.6.2.0
+                 , http-client >= 0.3
+                 , http-types >= 0.8
+                 , text >= 0.11.3
+                 , bytestring >= 0.9
+                 , attoparsec >= 0.10
+                 , base64-bytestring >= 1.0
+                 , transformers >= 0.4
+                 , monad-control >= 0.3
+                 , transformers-base >= 0.1
+                 , lifted-base >= 0.1
+                 , zip-archive >= 0.1.1.8
+                 , directory > 1.0
+                 , filepath > 1.0
+                 , directory-tree >= 0.11
+                 , temporary >= 1.0
+                 , time > 1.0
+                 , unordered-containers >= 0.1.3
+                 , vector >= 0.3
+                 , exceptions >= 0.4
+                 , scientific >= 0.2
+                 , data-default-class
+                 , call-stack
+
+  if flag(network-uri)
+      build-depends: network-uri >= 2.6, network >= 2.6
+  else
+      build-depends: network-uri < 2.6, network >= 2.4 && < 2.6
+
+  exposed-modules: Test.WebDriver
+                   Test.WebDriver.Class
+                   Test.WebDriver.Monad
+                   Test.WebDriver.Session
+                   Test.WebDriver.Session.History
+                   Test.WebDriver.Config
+                   Test.WebDriver.Exceptions
+                   Test.WebDriver.Commands
+                   Test.WebDriver.Commands.Wait
+                   Test.WebDriver.Commands.Internal
+                   Test.WebDriver.Common.Profile
+                   Test.WebDriver.Common.Keys
+                   Test.WebDriver.Firefox.Profile
+                   Test.WebDriver.Chrome.Extension
+                   Test.WebDriver.Capabilities
+                   Test.WebDriver.Types
+                   Test.WebDriver.JSON
+                   Test.WebDriver.Utils
+                   Test.WebDriver.Internal
+                   Test.WebDriver.Exceptions.Internal

webdriver/0.9.0.1/webdriver.json

@@ -0,0 +1 @@
+{"package-hashes":{"MD5":"43a6e11ed40808859d2718cfff6a6512","Skein512_512":"f13450abba386dae528e0da700c6c8eb6efb27dbf774bf1b204da30b121870c6de847741917e6d33bc8a09c7b5fd5b500afc9b7806f02bd455a9aa302b04f86f","SHA1":"a62cb9d4e54d0c9f8bdcac8c3a8c85902766d681","SHA512":"41e68fe42e39d3233969d9f4c77da7b3b1be4207f10b2bc76d635720984cd4c92130e8ff6a6d72e18adbe6fa914aa1ede00eea68c4ed75dde27fd8899365879b","SHA256":"135950889784b9d323c70ebf7ecd75b8df194489a303d85995b1fccc7549dff0"},"package-locations":["https://hackage.haskell.org/package/webdriver-0.9.0.1/webdriver-0.9.0.1.tar.gz","https://s3.amazonaws.com/hackage.fpcomplete.com/package/webdriver-0.9.0.1.tar.gz"],"package-size":50893}