The vampire package

[Tags: gpl, library, program]

Properties

Versions0.1.0.0, 0.1.1.0, 0.1.2.0, 0.1.3.0
Dependenciesbase (==4.6.*), deepseq, directory, dlist, fgl, graphviz, haskell-src-exts, mtl, optparse-applicative, process, uniplate
LicenseGPL-3
Authorbenzrf
Maintainerbenzrf@benzrf.com
CategoryDevelopment
Home pagehttps://github.com/benzrf/vampire
Executablesvampire
UploadedSun Jun 29 20:39:24 UTC 2014 by benzrf
Downloads273 total (29 in last 30 days)
StatusDocs available [build log]
Successful builds reported [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees