Uploaded to REVU: http://revu.tauware.de/details.py?package=spin
--
Spin verification tool needs packaging
https://bugs.launchpad.net/bugs/188584
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-b
** Changed in: ubuntu
Importance: Undecided => Wishlist
--
Spin verification tool needs packaging
https://bugs.launchpad.net/bugs/188584
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@li
** Description changed:
- Spin is a tool for analyzing the logical consistency of asynchronous
- systems, specifically distributed software amd communication protocols.
+ Spin is a tool for analyzing the logical consistency of asynchronous
systems, specifically distributed software amd commun
Thanks for your report. Please add the "needs-packaging" tag, the URL
where the source of the software can be obtained, and license
information to packaging request bugs.
** Tags added: needs-packaging
--
Spin verification tool needs packaging
https://bugs.launchpad.net/bugs/188584
You received
