texlive-drv-0.97-12-omv4000.noarch.rpm


Advertisement

Description

texlive-drv - Derivation trees with MetaPost

Property Value
Distribution OpenMandriva Lx 4.0
Repository OpenMandriva Main Release i586
Package filename texlive-drv-0.97-12-omv4000.noarch.rpm
Package name texlive-drv
Package version 0.97
Package release 12-omv4000
Package architecture noarch
Package type rpm
Category Publishing
Homepage http://www.ctan.org/tex-archive/graphics/metapost/contrib/macros/drv
License LPPL
Maintainer -
Download size 208.05 KB
Installed size 669.33 KB
A set of MetaPost macros for typesetting derivation trees (such
as used in sequent calculus, type inference, programming
language semantics...). No MetaPost knowledge is needed to use
these macros.

Alternatives

Package Version Architecture Repository
texlive-drv-0.97-12-omv4000.noarch.rpm 0.97 noarch OpenMandriva Main Release
texlive-drv - - -

Requires

Name Value
texlive-kpathsea -
texlive-tlpkg -

Provides

Name Value
texlive-drv = 0.97-12

Download

Type URL
Mirror abf-downloads.openmandriva.org
Binary Package texlive-drv-0.97-12-omv4000.noarch.rpm
Source Package texlive-drv-0.97-12.src.rpm

Install Howto

  1. Enable the repository in Software Repository Picker:
    # om-repo-picker
  2. Install texlive-drv rpm package:
    # dnf install texlive-drv

Files

Path
/usr/share/texmf-dist/doc/metapost/drv/README
/usr/share/texmf-dist/doc/metapost/drv/drv-guide.pdf
/usr/share/texmf-dist/doc/metapost/drv/doc/drv-guide.mp
/usr/share/texmf-dist/doc/metapost/drv/doc/drv-guide.tex
/usr/share/texmf-dist/doc/metapost/drv/doc/drv.mp
/usr/share/texmf-dist/doc/metapost/drv/doc/makefile
/usr/share/texmf-dist/doc/metapost/drv/doc/readme.sh
/usr/share/texmf-dist/doc/metapost/drv/sample/coq-sample.mp
/usr/share/texmf-dist/doc/metapost/drv/sample/coq-sample.tex
/usr/share/texmf-dist/doc/metapost/drv/sample/drv.mp
/usr/share/texmf-dist/doc/metapost/drv/sample/makefile
/usr/share/texmf-dist/doc/metapost/drv/sample/readme.sh
/usr/share/texmf-dist/doc/metapost/drv/template/drv.mp
/usr/share/texmf-dist/doc/metapost/drv/template/makefile
/usr/share/texmf-dist/doc/metapost/drv/template/readme.sh
/usr/share/texmf-dist/doc/metapost/drv/template/template.mp
/usr/share/texmf-dist/doc/metapost/drv/template/template.tex
/usr/share/texmf-dist/metapost/drv/drv.mp

See Also

Package Description
texlive-dtk-2.08a-1-omv4000.noarch.rpm Document class for the journal of DANTE
texlive-dtl-0.6.1-14-omv4000.noarch.rpm Tools to dis-assemble and re-assemble DVI files
texlive-dtl.bin-20190410-1-omv4000.i686.rpm binary files of dtl
texlive-dtxgallery-1-11-omv4000.noarch.rpm A small collection of minimal DTX examples
texlive-dtxgen-1.07-2-omv4000.noarch.rpm Creates a template for a self-extracting .dtx file
texlive-dtxtut-2.1-2-omv4000.noarch.rpm Tutorial on writing .dtx and .ins files
texlive-duerer-20190228-1-omv4000.noarch.rpm Computer Duerer fonts
texlive-duerer-latex-1.1-12-omv4000.noarch.rpm LaTeX support for the Duerer fonts
texlive-duotenzor-1.00-11-omv4000.noarch.rpm Drawing package for circuit and duotensor diagrams
texlive-dutchcal-1.0-12-omv4000.noarch.rpm A reworking of ESSTIX13, adding a bold version
texlive-dvdcoll-1.1a-2-omv4000.noarch.rpm A class for typesetting DVD archives
texlive-dvgloss-0.1-10-omv4000.noarch.rpm Facilities for setting interlinear glossed text
texlive-dvi2tty-6.0.0-2-omv4000.noarch.rpm Produce ASCII from DVI
texlive-dvi2tty.bin-20190410-1-omv4000.i686.rpm binary files of dvi2tty
texlive-dviasm-20190228-1-omv4000.noarch.rpm A utility for editing DVI files
Advertisement
Advertisement