texlive-drv-0.97-3-omv2014.0.noarch.rpm


Advertisement

Description

texlive-drv - Derivation trees with MetaPost

Property Value
Distribution OpenMandriva Lx 2014.2
Repository OpenMandriva Main x86_64
Package name texlive-drv
Package version 0.97
Package release 3-omv2014.0
Package architecture noarch
Package type rpm
Installed size 669.33 KB
Download size 203.61 KB
Official Mirror abf-downloads.openmandriva.org
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-3-omv2014.0.noarch.rpm 0.97 noarch OpenMandriva Main
texlive-drv - - -

Requires

Name Value
texlive-kpathsea -
texlive-tlpkg -

Provides

Name Value
texlive-drv == 0.97-3:2014.0

Download

Type URL
Binary Package texlive-drv-0.97-3-omv2014.0.noarch.rpm
Source Package texlive-drv-0.97-3.src.rpm

Install Howto

  1. Enable OpenMandriva Main 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

2014-02-08 - Tomasz Pawe? Gajc <tpgxyz@gmail.com> 0.97-3
+ Revision: 3c988f3
- MassBuild#328: Increase release tag

See Also

Package Description
texlive-dtk-1.29-2-omv2014.0.noarch.rpm Document class for the journal of DANTE
texlive-dtl-0.6.1-4-omv2014.0.noarch.rpm Tools to dis-assemble and re-assemble DVI files
texlive-dtl.bin-20121026-6-omv2014.0.x86_64.rpm binary files of dtl
texlive-dtxgallery-1-3-omv2014.0.noarch.rpm A small collection of minimal DTX examples
texlive-dtxtut-20070201-3-omv2014.0.noarch.rpm Tutorial on writing .dtx and .ins files
texlive-duerer-20101214-3-omv2014.0.noarch.rpm Computer Duerer fonts
texlive-duerer-latex-1.1-3-omv2014.0.noarch.rpm LaTeX support for the Duerer fonts
texlive-duotenzor-1.00-3-omv2014.0.noarch.rpm Drawing package for circuit and duotensor diagrams
texlive-dutchcal-1.0-3-omv2014.0.noarch.rpm A reworking of ESSTIX13, adding a bold version
texlive-dvdcoll-v1.1a-3-omv2014.0.noarch.rpm A class for typesetting DVD archives
texlive-dvi2tty-3.5.1-4-omv2014.0.noarch.rpm Produce ASCII from DVI
texlive-dvi2tty.bin-20121026-6-omv2014.0.x86_64.rpm binary files of dvi2tty
texlive-dviasm-20120410-2-omv2014.0.noarch.rpm A utility for editing DVI files
texlive-dvicopy-1.5-3-omv2014.0.noarch.rpm Copy DVI files, flattening VFs
texlive-dvicopy.bin-20121026-6-omv2014.0.x86_64.rpm binary files of dvicopy
Advertisement
Advertisement