texlive-drv-0.97-4-rosa2014.1.noarch.rpm


Advertisement

Description

texlive-drv - Derivation trees with MetaPost

Property Value
Distribution ROSA 2014.1
Repository ROSA Main Updates x86_64
Package filename texlive-drv-0.97-4-rosa2014.1.noarch.rpm
Package name texlive-drv
Package version 0.97
Package release 4-rosa2014.1
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 203.06 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-4-rosa2014.1.noarch.rpm 0.97 noarch ROSA Main Updates
texlive-drv-0.97-3-rosa2014.1.noarch.rpm 0.97 noarch ROSA Main
texlive-drv-0.97-3-rosa2014.1.noarch.rpm 0.97 noarch ROSA Main
texlive-drv - - -

Requires

Name Value
texlive-kpathsea -
texlive-tlpkg -

Provides

Name Value
texlive-drv == 0.97-4:2014.1

Download

Type URL
Mirror mirror.rosalab.ru
Binary Package texlive-drv-0.97-4-rosa2014.1.noarch.rpm
Source Package texlive-drv-0.97-4.src.rpm

Install Howto

  1. Enable ROSA Main Updates repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install texlive-drv rpm package:
    # urpmi 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

Changelog

2015-02-10 - Denis Silakov <denis.silakov@rosalab.ru> 0.97-4
+ Revision: 25eb0e9
- Drop obsolete post scripts - replaced with triggers

See Also

Package Description
texlive-dtk-1.29-3-rosa2014.1.noarch.rpm Document class for the journal of DANTE
texlive-dtl-0.6.1-10-rosa2014.1.noarch.rpm Tools to dis-assemble and re-assemble DVI files
texlive-dtl.bin-20131212-13-rosa2014.1.x86_64.rpm Binary files of dtl
texlive-duotenzor-1.00-4-rosa2014.1.noarch.rpm Drawing package for circuit and duotensor diagrams
texlive-dvdcoll-v1.1a-4-rosa2014.1.noarch.rpm A class for typesetting DVD archives
texlive-dvgloss-0.1-7-rosa2014.1.noarch.rpm Facilities for setting interlinear glossed text
texlive-dvi2tty-3.5.1-10-rosa2014.1.noarch.rpm Produce ASCII from DVI
texlive-dvi2tty.bin-20131212-13-rosa2014.1.x86_64.rpm Binary files of dvi2tty
texlive-dvicopy.bin-20131212-13-rosa2014.1.x86_64.rpm Binary files of dvicopy
texlive-dvidvi-1.0-10-rosa2014.1.noarch.rpm Convert one DVI file into another
texlive-dvidvi.bin-20131212-13-rosa2014.1.x86_64.rpm Binary files of dvidvi
texlive-dviincl-1.00-4-rosa2014.1.noarch.rpm Include a DVI page into MetaPost output
texlive-dviljk.bin-20131212-13-rosa2014.1.x86_64.rpm Binary files of dviljk
texlive-dvipdfmx.bin-20131212-13-rosa2014.1.x86_64.rpm Binary files of dvipdfmx
texlive-dvipng.bin-20131212-13-rosa2014.1.x86_64.rpm Binary files of dvipng
Advertisement
Advertisement