call-alloy: A simple library to call Alloy given a specification
Please see the README on GitHub at https://github.com/marcellussiegburg/call-alloy#readme
[Skip to Readme]
Downloads
- call-alloy-0.2.0.3.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.1.0.0, 0.1.0.2, 0.2.0.0, 0.2.0.1, 0.2.0.3, 0.2.0.4, 0.2.0.5, 0.2.0.6, 0.2.1.0, 0.2.1.1, 0.2.2.0, 0.3, 0.3.0.1, 0.3.0.2, 0.3.0.3, 0.4, 0.4.0.1, 0.4.0.2, 0.4.0.3, 0.4.1, 0.4.1.1, 0.5, 0.5.0.1 |
---|---|
Change log | ChangeLog.md |
Dependencies | base (>=4.7 && <5), bytestring (>=0.10 && <0.11), containers (>=0.6 && <0.7), directory (>=1.3 && <1.4), file-embed (>=0.0.11 && <0.1), filepath (>=1.4 && <1.5), hashable (>=1.2 && <1.4), lens (>=4.17 && <4.19), mtl (>=2.2 && <2.3), process (>=1.6 && <1.7), split (>=0.2 && <0.3), trifecta (>=2 && <2.2), unix (>=2.7 && <2.8), Win32 [details] |
License | MIT |
Copyright | 2019 Marcellus Siegburg |
Author | Marcellus Siegburg |
Maintainer | marcellus.siegburg@uni-due.de |
Category | Language |
Home page | https://github.com/marcellussiegburg/call-alloy#readme |
Bug tracker | https://github.com/marcellussiegburg/call-alloy/issues |
Source repo | head: git clone https://github.com/marcellussiegburg/call-alloy |
Uploaded | by marcellus at 2020-01-14T10:52:56Z |
Distributions | LTSHaskell:0.4.1.1, Stackage:0.5.0.1 |
Downloads | 4796 total (157 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |