The latest version of call-alloy is 0.5.0.1-2.

call-alloy

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

Components