texlive-lkproof-3.1-3-omv2014.0.noarch.rpm


Advertisement

Description

texlive-lkproof - LK Proof figure macros

Property Value
Distribution OpenMandriva Lx 2014.2
Repository OpenMandriva Main x86_64
Package name texlive-lkproof
Package version 3.1
Package release 3-omv2014.0
Package architecture noarch
Package type rpm
Installed size 261.79 KB
Download size 258.10 KB
Official Mirror abf-downloads.openmandriva.org
The package defines a pair of commands \infer and \deduce, that
are used in constructing LK proof diagrams.

Alternatives

Package Version Architecture Repository
texlive-lkproof-3.1-3-omv2014.0.noarch.rpm 3.1 noarch OpenMandriva Main
texlive-lkproof - - -

Requires

Name Value
texlive-kpathsea -
texlive-tlpkg -

Provides

Name Value
texlive-lkproof == 3.1-3:2014.0

Download

Type URL
Binary Package texlive-lkproof-3.1-3-omv2014.0.noarch.rpm
Source Package texlive-lkproof-3.1-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-lkproof rpm package:
    # urpmi texlive-lkproof

Files

Path
/usr/share/texmf-dist/doc/latex/lkproof/lkproof-doc.pdf
/usr/share/texmf-dist/doc/latex/lkproof/lkproof-doc.tex
/usr/share/texmf-dist/doc/latex/lkproof/proofeg.tex
/usr/share/texmf-dist/tex/latex/lkproof/proof.sty

Changelog

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

See Also

Package Description
texlive-lm-2.004-3-omv2014.0.noarch.rpm Latin modern fonts in outline formats
texlive-lmake-1.0-3-omv2014.0.noarch.rpm Process lists to do repetitive actions
texlive-lmextra-20111103-3-omv2014.0.noarch.rpm TeXLive lmextra package
texlive-locality-0.2-3-omv2014.0.noarch.rpm Various macros for keeping things local
texlive-localloc-20091006-3-omv2014.0.noarch.rpm Macros for localizing TeX register allocations
texlive-logbox-1.0-3-omv2014.0.noarch.rpm e-TeX showbox facilities for exploration purposes
texlive-logical-markup-utils-20091109-3-omv2014.0.noarch.rpm Packages for language-dependent inline quotes and dashes
texlive-logpap-0.6-3-omv2014.0.noarch.rpm Generate logarithmic graph paper with LaTeX
texlive-logreq-1.0-3-omv2014.0.noarch.rpm Support for automation of the LaTeX workflow
texlive-longnamefilelist-0.2-2-omv2014.0.noarch.rpm Tidy \listfiles with long file names
texlive-lpic-0.8-3-omv2014.0.noarch.rpm Put LaTeX material over included graphics
texlive-lps-0.7-3-omv2014.0.noarch.rpm Class for "Logic and Philosophy of Science"
texlive-lsc-20070309-3-omv2014.0.noarch.rpm Typesetting Live Sequence Charts
texlive-lshort-bulgarian-20071221-3-omv2014.0.noarch.rpm Bulgarian translation of the "Short Introduction to LaTeX2e"
texlive-lshort-chinese-4.20-3-omv2014.0.noarch.rpm Introduction to LaTeX, in Chinese
Advertisement
Advertisement