-- Initial prove-everywhere-server.cabal generated by cabal init. For -- further documentation, see http://haskell.org/cabal/users-guide/ name: prove-everywhere-server version: 0.1 synopsis: The server for ProveEverywhere description: This is the server for ProveEverywhere project. homepage: https://github.com/amutake/prove-everywhere license: BSD3 license-file: LICENSE author: Shohei Yasutake maintainer: amutake.s@gmail.com -- copyright: category: Web build-type: Simple -- extra-source-files: cabal-version: >=1.10 executable prove-everywhere-server main-is: Main.hs -- other-modules: -- other-extensions: build-depends: base == 4.* , warp == 3.0.* , wai == 3.0.* , optparse-applicative == 0.9.* , process == 1.2.* , bytestring == 0.10.* , unordered-containers == 0.2.* , http-types == 0.8.* , aeson == 0.7.* , text == 1.1.* , parsers == 0.11.* , parsec == 3.1.* , safe == 0.3.* , time == 1.4.* , case-insensitive >= 0.2 hs-source-dirs: src default-language: Haskell2010 ghc-options: -Wall