[Bug 452559] Review Request: zfuzz - Z fuzz - Type-checker and LaTeX style for Z spec language
bugzilla at redhat.com
bugzilla at redhat.com
Thu Jun 26 00:13:03 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: 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-25 20:13 EST -------
Okay, new version. I haven't changed the package name (per my comments above),
but I did change other things (as noted above).
New SRPM and spec file (release 5) here:
http://www.dwheeler.com/zfuzz-20070911-5.fc9.src.rpm
http://www.dwheeler.com/zfuzz.spec
rpmlint clean. koji clean for all f9 architectures.
Comments?
--
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