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

[bugzilla at redhat.com]

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 timc at inf.ed.ac.uk  2008-07-30 09:32 EST -------
Hi. I confirm that I am requesting sponsorship. My FAS name is "tcolles". Note
that on "http://fedoraproject.org/wiki/PackageMaintainers/Join" it says that you
need to apply to the "cvsextras" group which no longer seems to exist (the page
also has a broken link to that group). It looks to me like it should now be the
"packager" group, and that is the one I have applied for, perhaps the web page
could be updated (if I am correct).

-- 
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.