The aterm-utils package
Properties
| Version | 0.1.0.0 |
|---|---|
| Dependencies | aterm, base (<5), transformers, wl-pprint |
| License | BSD3 |
| Copyright | (c) 2012 Galois, Inc |
| Author | Jason Dagit |
| Maintainer | dagit@galois.com |
| Category | Language |
| Home page | https://github.com/GaloisInc/aterm-utils |
| Source repository | git clone git://github.com/GaloisInc/aterm-utils.git |
| Executables | ppaterm |
| Upload date | Sat Nov 17 00:44:30 UTC 2012 |
| Uploaded by | JasonDagit |
| Built on | ghc-7.6 |
Modules
Downloads
- aterm-utils-0.1.0.0.tar.gz (Cabal source package)
- package description (included in the package)