prove-everywhere-server: The server for ProveEverywhere

[ bsd3, program, web ] [ Propose Tags ]

This is the server for ProveEverywhere project.

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1, 0.1.1
Dependencies aeson (>=0.7 && <0.9), base (>=4 && <5), bytestring (>=0.10 && <0.11), case-insensitive (>=0.2), http-types (>=0.8 && <0.9), optparse-applicative (>=0.9 && <0.10), parsec (>=3.1 && <3.2), parsers (>=0.11 && <0.13), process (>=1.2 && <1.3), safe (>=0.3 && <0.4), text (>=1.1 && <1.3), time (>=1.4 && <1.6), unordered-containers (>=0.2 && <0.3), wai (>=3.0 && <3.1), warp (>=3.0 && <3.1) [details]
License BSD-3-Clause
Author Shohei Yasutake
Maintainer amutake.s@gmail.com
Category Web
Home page https://github.com/prove-everywhere/server
Uploaded by ShoheiYasutake at 2014-09-13T05:13:37Z
Distributions NixOS:0.1.1
Executables prove-everywhere-server
Downloads 1498 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-13 [all 7 reports]