Tue, 31 Jan 2023 16:35:04 UTC

Information for build tex-zfuzz-0-0.20070911.3.fc9

ID55626
Package Nametex-zfuzz
Version0
Release0.20070911.3.fc9
Epoch
SummaryType-checker and LaTeX style for Z spec language
DescriptionThis package (formerly named "fuzz") is a collection of tools that help you to (1) format and print good-looking specifications in the Z ("zed") formal specification language using LaTeX (through a new LaTeX style), and (2) check them for compliance with the Z scope and type rules. It includes a few font definitions for Z’s special symbols. This package is useful if you want to create formal specifications using the Z specification language. The Z language accepted is that of the Z Reference Manual, second edition, which is not exactly the same as the Z ISO standard (see http://www.cs.york.ac.uk/hise/cadiz/standard.html for the differences). Historically, this package was called "fuzz", but there is another program ALSO called fuzz, so the command-line type-checker's has been changed to "zfuzz". The LaTeX style itself is still named "fuzz" (so LaTeX documents will keep working).
Built bydwheeler
State complete
Volume fedora_koji_archive00
StartedThu, 10 Jul 2008 21:23:47 UTC
CompletedThu, 10 Jul 2008 21:33:36 UTC
Taskbuild (dist-f9-updates-candidate, /cvs/pkgs:rpms/tex-zfuzz/F-9:tex-zfuzz-0-0_20070911_3_fc9)
Tags
dist-f9-updates
f10-alpha
f10-beta
f10-final
f11-alpha
f11-alpha-2
f9-build-cutoff
f9-cutoff
RPMs
src
tex-zfuzz-0-0.20070911.3.fc9.src.rpm (info) (download)
i386
tex-zfuzz-0-0.20070911.3.fc9.i386.rpm (info) (download)
tex-zfuzz-debuginfo-0-0.20070911.3.fc9.i386.rpm (info) (download)
ppc
tex-zfuzz-0-0.20070911.3.fc9.ppc.rpm (info) (download)
tex-zfuzz-debuginfo-0-0.20070911.3.fc9.ppc.rpm (info) (download)
ppc64
tex-zfuzz-0-0.20070911.3.fc9.ppc64.rpm (info) (download)
tex-zfuzz-debuginfo-0-0.20070911.3.fc9.ppc64.rpm (info) (download)
x86_64
tex-zfuzz-0-0.20070911.3.fc9.x86_64.rpm (info) (download)
tex-zfuzz-debuginfo-0-0.20070911.3.fc9.x86_64.rpm (info) (download)
Logs
i386
build.log
root.log
state.log
ppc
build.log
root.log
state.log
ppc64
build.log
root.log
state.log
x86_64
build.log
root.log
state.log
Changelog * Thu Jul 10 2008 David A. Wheeler - 0-0.20070911.3 - New release number (for CVS submission) * Mon Jun 30 2008 David A. Wheeler - 0-0.20070911.2 - Added more information to Changelog (combined due to rev number change) * Sun Jun 29 2008 David A. Wheeler - 0-0.20070911.1 - Initial packaging. - Did not name it "fuzz" because of conflict with other program named fuzz - Handled reviewer comments https://bugzilla.redhat.com/show_bug.cgi?id=452559 - Named package as tex-zfuzz (per Fedora naming guidelines) - Came to agreement on version/revision convention - Depend on virtual packages tex(tex) and tex(latex) instead of specific pkgs - Shortened comments and description - Renamed patch file names to clarify what upstream version they apply to - Fixed .spec so it can build even when it's already installed - Summary and description don't repeat package name - Patch error.c to eliminate compiler warning for undefined isupper/islower - Simplified CFLAGS argument - Patched so would compile on 64-bit