The dove package

[Tags:bsd3, library]

Properties

Versions 0.0.0
Dependencies acl2 (>=0.0.1 && <0.2), base (>=4.0 && <5.0) [details]
License BSD3
Author Tom Hawkins <tomahawkins@gmail.com>
Maintainer Tom Hawkins <tomahawkins@gmail.com>
Category Language, Formal Methods
Source repository head: git clone git://github.com/tomahawkins/dove.git
Uploaded Tue Apr 28 17:54:43 UTC 2015 by TomHawkins
Distributions NixOS:0.0.0
Downloads 179 total (5 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2015-04-28 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees