Activity log for bug #188584
Date | Who | What changed | Old value | New value | Message |
---|---|---|---|---|---|
2008-02-03 11:06:03 | Pavel Rojtberg | bug | added bug | ||
2008-02-03 13:38:26 | Pavel Rojtberg | description | 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 communication protocols. URL: http://spinroot.com/spin/Src License: proprietary; educational use only, redist allowed | |
2008-02-06 20:08:11 | Murat Gunes | None: importance | Undecided | Wishlist | |
2008-02-21 22:03:04 | David Futcher | title | Spin verification tool needs packaging | [needs-packaging] Spin Verification Tool | |
2008-02-23 10:07:37 | David Futcher | None: status | New | In Progress | |
2018-07-24 12:53:05 | Hans Joachim Desserud | bug watch added | https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=814306 | ||
2018-07-24 12:53:05 | Hans Joachim Desserud | bug task added | debian | ||
2018-07-24 12:53:33 | Hans Joachim Desserud | ubuntu: status | In Progress | Fix Released | |
2018-07-24 13:40:41 | Bug Watch Updater | debian: status | Unknown | Fix Released |