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


Advertisement

Description

texlive-drv - Derivation trees with MetaPost

Property Value
Distribution ROSA 2014.1
Repository ROSA Main x86_64
Package name texlive-drv
Package version 0.97
Package release 3-rosa2014.1
Package architecture noarch
Package type rpm
Installed size 669.33 KB
Download size 203.38 KB
Official Mirror mirror.rosalab.ru
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-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 - - -

Requires

Name Value
texlive-kpathsea -
texlive-tlpkg -

Provides

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

Download

Type URL
Binary Package texlive-drv-0.97-3-rosa2014.1.noarch.rpm
Source Package texlive-drv-0.97-3.src.rpm

Install Howto

  1. Enable ROSA 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-06-27 - Alex Burmashev <alex.burmashev@rosalab.ru> 0.97-3
+ Revision: e544d53
- MassBuild#440: Increase release tag

See Also

Package Description
texlive-dtk-1.29-2-rosa2014.1.noarch.rpm Document class for the journal of DANTE
texlive-dtl-0.6.1-9-rosa2014.1.noarch.rpm Tools to dis-assemble and re-assemble DVI files
texlive-dtl.bin-20131212-8-rosa2014.1.x86_64.rpm binary files of dtl
texlive-dtxgallery-1-3-rosa2014.1.noarch.rpm A small collection of minimal DTX examples
texlive-dtxgen-1.03-7-rosa2014.1.noarch.rpm Creates a template for a self-extracting .dtx file
texlive-dtxtut-20070201-3-rosa2014.1.noarch.rpm Tutorial on writing .dtx and .ins files
texlive-duerer-20101214-3-rosa2014.1.noarch.rpm Computer Duerer fonts
texlive-duerer-latex-1.1-3-rosa2014.1.noarch.rpm LaTeX support for the Duerer fonts
texlive-duotenzor-1.00-3-rosa2014.1.noarch.rpm Drawing package for circuit and duotensor diagrams
texlive-dutchcal-1.0-3-rosa2014.1.noarch.rpm A reworking of ESSTIX13, adding a bold version
texlive-dvdcoll-v1.1a-3-rosa2014.1.noarch.rpm A class for typesetting DVD archives
texlive-dvgloss-0.1-6-rosa2014.1.noarch.rpm Facilities for setting interlinear glossed text
texlive-dvi2tty-3.5.1-9-rosa2014.1.noarch.rpm Produce ASCII from DVI
texlive-dvi2tty.bin-20131212-8-rosa2014.1.x86_64.rpm binary files of dvi2tty
texlive-dviasm-20120410-2-rosa2014.1.noarch.rpm A utility for editing DVI files
Advertisement
Advertisement