The latest version of call-alloy is 0.5.0.1-0.
call-alloy
Version 0.2.1.1 revision 0 uploaded by marcellus.
Package meta
- Synopsis
- A simple library to call Alloy given a specification
- Description
Please see the README on GitHub at https://github.com/marcellussiegburg/call-alloy#readme
- Author
- Marcellus Siegburg
- Bug reports
- https://github.com/marcellussiegburg/call-alloy/issues
- Category
- Language
- Copyright
- 2019-2020 Marcellus Siegburg
- Homepage
- https://github.com/marcellussiegburg/call-alloy#readme
- Maintainer
- marcellus.siegburg@uni-due.de
- Package URL
- n/a
- Stability
- n/a