The theoremquest-client package

[Tags: bsd3, program]

TODO


Properties

Version0.0.0
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
Upload dateMon Feb 28 00:51:43 UTC 2011
Uploaded byTomHawkins
Downloads108 total (7 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees