[Bug 171156] Review Request: spin - On-the-fly, LTL model checker
bugzilla at redhat.com
bugzilla at redhat.com
Tue Dec 13 21:53:37 UTC 2005
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug report.
Summary: Review Request: spin - On-the-fly, LTL model checker
https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=171156
andreas.bierfert at lowlatency.de changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |CLOSED
Resolution| |NOTABUG
------- Additional Comments From andreas.bierfert at lowlatency.de 2005-12-13 16:53 EST -------
I very much agree... I have no clue about legal stuff ^^
--
Configure bugmail: https://bugzilla.redhat.com/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.
More information about the fedora-extras-list
mailing list