The why3 package

[Tags:library, mit]

This package implements the Why3 language parser and printer.

Properties

Versions 0.8
Change log CHANGELOG.md
Dependencies array (>=0.4 && <0.6), base (>=4.6 && <4.9), bytestring (==0.10.*), containers (==0.5.*), deepseq (>=1.3 && <1.5), directory (==1.2.*), filepath (>=1.3 && <1.5), monadLib (==3.7.*), pretty (==1.1.*), pretty-show (==1.6.*), profunctors (==5.1.*), text (==1.2.*) [details]
License MIT
Copyright 2012, 2014, 2015, Galois Inc.
Author Galois, Inc.
Maintainer sjw@galois.com
Category Languages
Source repository head: git clone http://github.com/GaloisInc/why3
Uploaded Thu Aug 27 20:22:20 UTC 2015 by EricMertens
Distributions NixOS:0.8
Downloads 127 total (6 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2015-08-28 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees