tex-zfuzz-3.4.1-alt1_9.i586.rpm


Advertisement

Description

tex-zfuzz - Type-checker and LaTeX style for Z spec language

Property Value
Distribution ALT Linux Sisyphus
Repository Autoimports i586
Package name tex-zfuzz
Package version 3.4.1
Package release alt1_9
Package architecture i586
Package type rpm
Installed size 1.07 MB
Download size 1.07 MB
Official Mirror ftp.altlinux.org
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 Za.'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).

Alternatives

Package Version Architecture Repository
tex-zfuzz-3.4.1-alt1_9.x86_64.rpm 3.4.1 x86_64 Autoimports
tex-zfuzz - - -

Requires

Name Value
/lib/ld-linux.so.2 -
/usr/bin/latex -
/usr/bin/mktexlsr -
/usr/bin/tex -
/usr/share/texmf -
libc.so.6(GLIBC_2.0) -
libc.so.6(GLIBC_2.1) -
libc.so.6(GLIBC_2.3) -
libc.so.6(GLIBC_2.3.4) -
libc.so.6(GLIBC_2.4) -
rpmlib(PayloadIsLzma) -
rtld(GNU_HASH) -
texlive-generic-recommended -
texlive-latex-recommended -

Provides

Name Value
tex-zfuzz = 3.4.1-alt1_9
texmf(latex/fuzz) -

Download

Type URL
Binary Package tex-zfuzz-3.4.1-alt1_9.i586.rpm
Source Package tex-zfuzz-3.4.1-alt1_9.src.rpm

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/autoimports/Sisyphus i586 autoimports
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/autoimports/Sisyphus noarch autoimports
    
  2. Update the package index:
    # sudo apt-get update
  3. Install tex-zfuzz rpm package:
    # sudo apt-get install tex-zfuzz

Files

Path
/usr/bin/zfuzz
/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/fuzzlib
/usr/share/texmf/fonts/pk/tex-zfuzz/
/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/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/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/fuzz.sty

See Also

Package Description
texstudio-2.8.4-alt1_1.i586.rpm A feature-rich editor for LaTeX documents
throttle-1.2-alt1_12.i586.rpm Bandwidth limiting pipe
thunar-vfs-1.2.0-alt1_9.i586.rpm Virtual filesystem shipped with Thunar 1.0 and earlier releases
tilp2-1.18-alt1_2.i586.rpm Texas Instruments handheld(s) <-> PC communication program
timespan-2.2-alt1_15.i586.rpm A tool that performs date-based time calculations
tkdnd-2.8-alt1_7.i586.rpm Tk extension that adds native drag & drop capabilities
tkgate-2.0-alt2_29.beta10.i586.rpm An event driven digital circuit simulator
tlock-1.6-alt1_7.i586.rpm Terminal lock
tlock-devel-1.6-alt1_7.i586.rpm Development library for tlock
tmispell-voikko-0.7.1-alt2_21.i586.rpm An Ispell compatible front-end for spell-checking modules
tomoe-0.6.0-alt1_40.i586.rpm Handwritten input system for Japanese and Chinese
tomoe-devel-0.6.0-alt1_40.i586.rpm Tomoe development files
tomoe-gtk-0.6.0-alt1_29.i586.rpm Gtk library for tomoe for Japanese and Chinese handwritten input
tomoe-gtk-devel-0.6.0-alt1_29.i586.rpm Gtk library for tomoe Japanese handwritten input
torch-3.1-alt1_12.i586.rpm Torch is a simple machine-learning library
Advertisement
Advertisement