[Bug 470161] Re: [needs-packaging] Spin model checker packaging request
Anybody working on this? :( -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/470161 Title: [needs-packaging] Spin model checker packaging request To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+bug/470161/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 470161] Re: [needs-packaging] Spin model checker packaging request
Status changed to 'Confirmed' because the bug affects multiple users. ** Changed in: ubuntu Status: New = Confirmed -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/470161 Title: [needs-packaging] Spin model checker packaging request To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+bug/470161/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 470161] Re: [needs-packaging] Spin model checker packaging request
Bump? -- [needs-packaging] Spin model checker packaging request https://bugs.launchpad.net/bugs/470161 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 470161] Re: [needs-packaging] Spin model checker packaging request
*** This is an automated message *** This bug is tagged needs-packaging which identifies it as a request for a new package in Ubuntu. As a part of the managing needs-packaging bug reports specification, https://wiki.ubuntu.com/QATeam/Specs/NeedsPackagingBugs, all needs- packaging bug reports have Wishlist importance. Subsequently, I'm setting this bug's status to Wishlist. ** Summary changed: - Spin model checker packaging request + [needs-packaging] Spin model checker packaging request ** Changed in: ubuntu Importance: Undecided = Wishlist -- [needs-packaging] Spin model checker packaging request https://bugs.launchpad.net/bugs/470161 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
