Ubuntu

[needs-packaging] Spin Verification Tool

Bug #188584 reported by Pavel Rojtberg
6
Affects Status Importance Assigned to Milestone
Debian
Fix Released
Unknown
Ubuntu
Fix Released
Wishlist
Unassigned

Bug Description

Spin is a tool for analyzing the logical consistency of asynchronous systems, specifically distributed software amd communication protocols.
URL: http://spinroot.com/spin/Src
License: proprietary; educational use only, redist allowed

See original description
Revision history for this message
Murat Gunes (mgunes) wrote :

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.

Pavel Rojtberg (rojtberg)
description: updated
Revision history for this message
David Futcher (bobbo) wrote :

Uploaded to REVU: http://revu.tauware.de/details.py?package=spin

Revision history for this message
Hans Joachim Desserud (hjd) wrote :

https://launchpad.net/ubuntu/+source/spin has now been packaged and is avilable in Ubuntu 18.04 :)

Changed in ubuntu:
status: In Progress → Fix Released
Bug Watch Updater (bug-watch-updater)
Changed in debian:
status: Unknown → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.