Activity log for bug #470161
| Date | Who | What changed | Old value | New value | Message |
|---|---|---|---|---|---|
| 2009-11-02 07:00:53 | Prateek Karandikar | bug | added bug | ||
| 2009-11-02 23:55:08 | Brian Murray | summary | Spin model checker packaging request | [needs-packaging] Spin model checker packaging request | |
| 2009-11-02 23:55:13 | Brian Murray | ubuntu: importance | Undecided | Wishlist | |
| 2013-07-25 12:16:16 | Launchpad Janitor | ubuntu: status | New | Confirmed |
