Public bug reported: 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 ** Affects: ubuntu Importance: Undecided Status: New ** Tags: 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 [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
