The theoremquest-client package

[Tags: bsd3, program]

TODO

Properties

Version0.0.0
Change logNone available
Dependenciesbase (>=4.0 && <5), HTTP (==4000.1.*), network (==2.3.*), theoremquest (>=0.0.0)
LicenseBSD3
AuthorTom Hawkins <tomahawkins@gmail.com>
MaintainerTom Hawkins <tomahawkins@gmail.com>
CategoryGame, Formal Methods, Theorem Provers
Source repositoryhead: git clone git://github.com/tomahawkins/theoremquest.git
Executablestq
UploadedMon Feb 28 00:51:43 UTC 2011 by TomHawkins
DistributionsNixOS:0.0.0
Downloads191 total (6 in last 30 days)
StatusDocs not available [build log]
All reported builds failed as of 2015-05-21 [all 1 reports]

Downloads

Maintainers' corner

For package maintainers and hackage trustees