[Bug 452559] Review Request: zfuzz - Z fuzz - Type-checker and LaTeX style for Z spec language

[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: zfuzz - Z fuzz - Type-checker and LaTeX style for Z spec language


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





------- Additional Comments From dwheeler at dwheeler.com  2008-06-24 00:44 EST -------
I patched the one line noted as a problem on x86_64. Available as:
 http://www.dwheeler.com/zfuzz.spec
 http://www.dwheeler.com/zfuzz-20070911-2.fc9.src.rpm
 http://www.dwheeler.com/zfuzz-20070911-2.fc9.i386.rpm

Unfortunately, I don't have an x86_64 machine with F9+ that I can
use as a test, so I don't know if that fixes the problem.
Let me know if it does; otherwise, I'll exclude the architecture, and
later once I get Koji access I can fix it for other archs.




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