| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: tex-zfuzz | Distribution: Fedora Project |
| Version: 3.4.1 | Vendor: Fedora Project |
| Release: 1.fc15 | Build date: Thu Jun 23 21:15:00 2011 |
| Group: Applications/Engineering | Build host: x86-09.phx2.fedoraproject.org |
| Size: 1118027 | Source RPM: tex-zfuzz-3.4.1-1.fc15.src.rpm |
| Packager: Fedora Project | |
| Url: http://spivey.oriel.ox.ac.uk/mike/fuzz/ | |
| Summary: Type-checker and LaTeX style for Z spec language | |
This 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).
BSD
* Wed Jun 22 2011 Jerry James <loganjerry@gmail.com> - 3.4.1-1 - New upstream version - Drop upstreamed ctype and read-decl patches - Drop unnecessary spec file elements (BuildRoot, etc.) - Add the zscan patch to eliminate compiler errors and warnings * Wed Feb 09 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0-0.20070914.3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild * Sun Jul 26 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0-0.20070913.3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild * Wed Feb 25 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0-0.20070912.3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild * 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
/usr/bin/zfuzz /usr/share/doc/tex-zfuzz-3.4.1 /usr/share/doc/tex-zfuzz-3.4.1/INSTALL /usr/share/doc/tex-zfuzz-3.4.1/example.pdf /usr/share/doc/tex-zfuzz-3.4.1/example.tex /usr/share/doc/tex-zfuzz-3.4.1/fuzzman-2up.pdf /usr/share/doc/tex-zfuzz-3.4.1/fuzzman.pdf /usr/share/doc/tex-zfuzz-3.4.1/refcard-2up.pdf /usr/share/doc/tex-zfuzz-3.4.1/refcard-3up.pdf /usr/share/doc/tex-zfuzz-3.4.1/refcard.pdf /usr/share/doc/tex-zfuzz-3.4.1/tut.pdf /usr/share/tex-zfuzz /usr/share/tex-zfuzz/fuzzlib /usr/share/texmf/fonts/pk/tex-zfuzz /usr/share/texmf/fonts/pk/tex-zfuzz/oxsz /usr/share/texmf/fonts/pk/tex-zfuzz/oxsz/oxsz10.600pk /usr/share/texmf/fonts/pk/tex-zfuzz/oxsz/oxsz10.720pk /usr/share/texmf/fonts/pk/tex-zfuzz/oxsz/oxsz5.600pk /usr/share/texmf/fonts/pk/tex-zfuzz/oxsz/oxsz6.600pk /usr/share/texmf/fonts/pk/tex-zfuzz/oxsz/oxsz7.600pk /usr/share/texmf/fonts/pk/tex-zfuzz/oxsz/oxsz8.600pk /usr/share/texmf/fonts/pk/tex-zfuzz/oxsz/oxsz9.600pk /usr/share/texmf/fonts/tfm/tex-zfuzz /usr/share/texmf/fonts/tfm/tex-zfuzz/oxsz /usr/share/texmf/fonts/tfm/tex-zfuzz/oxsz/oxsz10.tfm /usr/share/texmf/fonts/tfm/tex-zfuzz/oxsz/oxsz5.tfm /usr/share/texmf/fonts/tfm/tex-zfuzz/oxsz/oxsz6.tfm /usr/share/texmf/fonts/tfm/tex-zfuzz/oxsz/oxsz7.tfm /usr/share/texmf/fonts/tfm/tex-zfuzz/oxsz/oxsz8.tfm /usr/share/texmf/fonts/tfm/tex-zfuzz/oxsz/oxsz9.tfm /usr/share/texmf/metafont/tex-zfuzz /usr/share/texmf/metafont/tex-zfuzz/oxsz.mf /usr/share/texmf/metafont/tex-zfuzz/oxsz10.mf /usr/share/texmf/metafont/tex-zfuzz/oxsz5.mf /usr/share/texmf/metafont/tex-zfuzz/oxsz6.mf /usr/share/texmf/metafont/tex-zfuzz/oxsz7.mf /usr/share/texmf/metafont/tex-zfuzz/oxsz8.mf /usr/share/texmf/metafont/tex-zfuzz/oxsz9.mf /usr/share/texmf/metafont/tex-zfuzz/zarrow.mf /usr/share/texmf/metafont/tex-zfuzz/zletter.mf /usr/share/texmf/metafont/tex-zfuzz/zsymbol.mf /usr/share/texmf/tex/latex/tex-zfuzz /usr/share/texmf/tex/latex/tex-zfuzz/fuzz.sty
Generated by rpm2html 1.8.1
Fabrice Bellet, Mon May 20 07:38:10 2013