texlive-lkproof-svn20021.3.1-52.fc28.2.noarch.rpm


Advertisement

Description

texlive-lkproof - LK Proof figure macros

Property Value
Distribution Fedora 28
Repository Fedora Updates i386
Package name texlive-lkproof
Package version svn20021.3.1
Package release 52.fc28.2
Package architecture noarch
Package type rpm
Installed size 19.41 KB
Download size 42.99 KB
Official Mirror download-ib01.fedoraproject.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-svn20021.3.1-52.fc28.2.noarch.rpm svn20021.3.1 noarch Fedora Updates
texlive-lkproof-svn20021.3.1-42.fc28.2.noarch.rpm svn20021.3.1 noarch Fedora
texlive-lkproof-svn20021.3.1-42.fc28.2.noarch.rpm svn20021.3.1 noarch Fedora
texlive-lkproof - - -

Requires

Name Value
tex-kpathsea -
texlive-base -
texlive-kpathsea-bin -

Provides

Name Value
tex(proof.sty) = 2016
tex-lkproof = 2016
texlive-lkproof = svn20021.3.1-52.fc28.2

Download

Type URL
Binary Package texlive-lkproof-svn20021.3.1-52.fc28.2.noarch.rpm
Source Package texlive-2016-52.20160520.fc28.src.rpm

Install Howto

Install texlive-lkproof rpm package:

# dnf install texlive-lkproof

Files

Path
/usr/share/licenses/texlive-lkproof/gpl.txt
/usr/share/texlive/texmf-dist/tex/latex/lkproof/proof.sty

Changelog

See texlive-2016-52.20160520.fc28.noarch.rpm changelog.

See Also

Package Description
texlive-lm-doc-svn28119.2.004-52.fc28.2.noarch.rpm Documentation for lm
texlive-lm-math-doc-svn36915.1.959-52.fc28.2.noarch.rpm Documentation for lm-math
texlive-lm-math-svn36915.1.959-52.fc28.2.noarch.rpm OpenType maths fonts for Latin Modern
texlive-lm-svn28119.2.004-52.fc28.2.noarch.rpm Latin modern fonts in outline formats
texlive-lmake-doc-svn25552.1.0-52.fc28.2.noarch.rpm Documentation for lmake
texlive-lmake-svn25552.1.0-52.fc28.2.noarch.rpm Process lists to do repetitive actions
texlive-lobster2-doc-svn32617.0-52.fc28.2.noarch.rpm Documentation for lobster2
texlive-lobster2-svn32617.0-52.fc28.2.noarch.rpm Lobster Two fonts, with support for all LaTeX engines
texlive-locality-doc-svn20422.0.2-52.fc28.2.noarch.rpm Documentation for locality
texlive-locality-svn20422.0.2-52.fc28.2.noarch.rpm Various macros for keeping things local
texlive-localloc-doc-svn21934.0-52.fc28.2.noarch.rpm Documentation for localloc
texlive-localloc-svn21934.0-52.fc28.2.noarch.rpm Macros for localizing TeX register allocations
texlive-logbox-doc-svn24499.1.0-52.fc28.2.noarch.rpm Documentation for logbox
texlive-logbox-svn24499.1.0-52.fc28.2.noarch.rpm e-TeX showbox facilities for exploration purposes
texlive-logical-markup-utils-doc-svn15878.0-52.fc28.2.noarch.rpm Documentation for logical-markup-utils
Advertisement
Advertisement