The latest version of call-alloy is 0.5.0.1-2.
call-alloy
Version 0.3.0.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-2022 Marcellus Siegburg
- Homepage
- https://github.com/marcellussiegburg/call-alloy#readme
- Maintainer
- marcellus.siegburg@uni-due.de
- Package URL
- n/a
- Stability
- n/a