Ubuntu

[needs-packaging] Spin model checker packaging request

Bug #470161 reported by Prateek Karandikar
10
This bug affects 2 people
Affects Status Importance Assigned to Milestone
Ubuntu
Confirmed
Wishlist
Unassigned

Bug Description

This is a request to package the Spin model checker for Ubuntu.

Homepage: http://spinroot.com/spin/whatispin.html

Sources: http://spinroot.com/spin/Src/index.html

Revision history for this message
Brian Murray (brian-murray) wrote :

*** 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: - Spin model checker packaging request
+ [needs-packaging] Spin model checker packaging request
Changed in ubuntu:
importance: Undecided → Wishlist
Revision history for this message
Prateek Karandikar (prateek.karandikar) wrote :

Bump?

Revision history for this message
Launchpad Janitor (janitor) wrote :

Status changed to 'Confirmed' because the bug affects multiple users.

Changed in ubuntu:
status: New → Confirmed
Revision history for this message
Kai Mast (kai-mast) wrote :

Anybody working on this? :(

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.