[Bug 451996] Review Request: prover9 - Thereom Prover and Countermodel Generator

bugzilla at redhat.com bugzilla at redhat.com
Wed Jul 30 14:22:18 UTC 2008


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: prover9 - Thereom Prover and Countermodel Generator


https://bugzilla.redhat.com/show_bug.cgi?id=451996





------- Additional Comments From mtasaka at ioa.s.u-tokyo.ac.jp  2008-07-30 10:22 EST -------
Yes, cvsextras is renamed to packager.

By the way on FAS your email address information is lacking. Would you
update your FAS information?

-- 
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, or are watching someone who is.




More information about the Fedora-package-review mailing list