texlive-natded-0.1-2-rosa2014.1.noarch.rpm


Advertisement

Description

texlive-natded - Typeset natural deduction proofs

Property Value
Distribution ROSA 2014.1
Repository ROSA Main x86_64
Package name texlive-natded
Package version 0.1
Package release 2-rosa2014.1
Package architecture noarch
Package type rpm
Installed size 368.13 KB
Download size 337.56 KB
Official Mirror mirror.rosalab.ru
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-4-rosa2014.1.noarch.rpm 0.1 noarch ROSA Contrib Updates
texlive-natded-0.1-4-rosa2014.1.noarch.rpm 0.1 noarch ROSA Contrib Updates
texlive-natded-0.1-2-rosa2014.1.noarch.rpm 0.1 noarch ROSA Main
texlive-natded - - -

Requires

Name Value
texlive-kpathsea -
texlive-tlpkg -

Provides

Name Value
texlive-natded == 0.1-2:2014.1

Download

Type URL
Binary Package texlive-natded-0.1-2-rosa2014.1.noarch.rpm
Source Package texlive-natded-0.1-2.src.rpm

Install Howto

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

Changelog

2014-06-27 - Alex Burmashev <alex.burmashev@rosalab.ru> 0.1-2
+ Revision: 32346e1
- MassBuild#440: Increase release tag

See Also

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