[Bug 486757] Review Request: divine-mc - Multi-core model checking system for proving specifications
bugzilla at redhat.com
bugzilla at redhat.com
Sun Mar 1 22:39:43 UTC 2009
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=486757
Milos Jakubicek <xjakub at fi.muni.cz> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
CC| |xjakub at fi.muni.cz
AssignedTo|nobody at fedoraproject.org |xjakub at fi.muni.cz
Flag| |fedora-review?
--
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
More information about the Fedora-package-review
mailing list