texlive-natded-0.1-5-omv2015.0.noarch.rpm


Advertisement

Description

texlive-natded - Typeset natural deduction proofs

Property Value
Distribution OpenMandriva Lx 3.0
Repository OpenMandriva Main Release i586
Package filename texlive-natded-0.1-5-omv2015.0.noarch.rpm
Package name texlive-natded
Package version 0.1
Package release 5-omv2015.0
Package architecture noarch
Package type rpm
Category Publishing
Homepage http://www.ctan.org/tex-archive/macros/latex/contrib/natded
License LPPL1.3
Maintainer -
Download size 337.43 KB
Installed size 368.13 KB
The package provides commands to typeset proofs in the style
used by Jaskowski, or that of Kalish and Montague.

Alternatives

Package Version Architecture Repository
texlive-natded-0.1-5-omv2015.0.noarch.rpm 0.1 noarch OpenMandriva Main Release
texlive-natded - - -

Requires

Name Value
texlive-kpathsea -
texlive-tlpkg -

Provides

Name Value
texlive-natded == 0.1-5:2015.0

Download

Type URL
Mirror abf-downloads.openmandriva.org
Binary Package texlive-natded-0.1-5-omv2015.0.noarch.rpm
Source Package texlive-natded-0.1-5.src.rpm

Install Howto

  1. Enable OpenMandriva Main Release repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install texlive-natded rpm package:
    # urpmi texlive-natded

Files

Path
/usr/share/texmf-dist/doc/latex/natded/README.md
/usr/share/texmf-dist/doc/latex/natded/extended_doc.pdf
/usr/share/texmf-dist/doc/latex/natded/extended_doc.tex
/usr/share/texmf-dist/doc/latex/natded/natded.pdf
/usr/share/texmf-dist/doc/latex/natded/natded.tex
/usr/share/texmf-dist/tex/latex/natded/natded.sty

See Also

Package Description
texlive-nath-20061222-10-omv2015.0.noarch.rpm Natural mathematics notation
texlive-nature-1.0-10-omv2015.0.noarch.rpm Prepare papers for the journal Nature
texlive-navigator-1.0-11-omv2015.0.noarch.rpm PDF features across formats and engines
texlive-ncclatex-1.5-10-omv2015.0.noarch.rpm An extended general-purpose class
texlive-ncctools-3.5-10-omv2015.0.noarch.rpm A collection of general packages for LaTeX
texlive-ncntrsbk-20120606-9-omv2015.0.noarch.rpm URW "Base 35" font pack for LaTeX
texlive-nddiss-3.0-11-omv2015.0.noarch.rpm Notre Dame Dissertation format class
texlive-needspace-1.3d-9-omv2015.0.noarch.rpm Insert pagebreak if not enough space
texlive-nestquot-20120606-9-omv2015.0.noarch.rpm Alternate quotes between double and single with nesting
texlive-neuralnetwork-1.0-9-omv2015.0.noarch.rpm Graph-drawing for neural networks
texlive-newcommand-2.0-10-omv2015.0.noarch.rpm Generate new LaTeX command definitions
texlive-newenviron-1.0-9-omv2015.0.noarch.rpm Processing an environment's body
texlive-newfile-1.0c-10-omv2015.0.noarch.rpm User level management of LaTeX input and output
texlive-newlfm-9.4-10-omv2015.0.noarch.rpm Write letters, facsimiles, and memos
texlive-newpx-1.122-4-omv2015.0.noarch.rpm Alternative uses of the PX fonts, with improved metrics
Advertisement
Advertisement