texlive-natded - Typeset natural deduction proofs

Property Value
Distribution Fedora 29
Repository Fedora x86_64
Package filename texlive-natded-svn32693.0.1-20.fc29.noarch.rpm
Package name texlive-natded
Package version svn32693.0.1
Package release 20.fc29
Package architecture noarch
Package type rpm
Category Applications/Publishing
Homepage http://tug.org/texlive/
License LPPL 1.3
Maintainer -
Download size 25.90 KB
Installed size 33.47 KB
The package provides commands to typeset proofs in the style
used by Jaskowski, or that of Kalish and Montague.


Package Version Architecture Repository
texlive-natded-svn32693.0.1-25.fc29.noarch.rpm svn32693.0.1 noarch Fedora Updates
texlive-natded-svn32693.0.1-25.fc29.noarch.rpm svn32693.0.1 noarch Fedora Updates
texlive-natded-svn32693.0.1-20.fc29.noarch.rpm svn32693.0.1 noarch Fedora
texlive-natded - - -


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


Name Value
tex(natded.sty) = 2018
tex-natded = 2018
texlive-natded = svn32693.0.1-20.fc29


Type URL
Mirror download-ib01.fedoraproject.org
Binary Package texlive-natded-svn32693.0.1-20.fc29.noarch.rpm
Source Package texlive-2018-20.fc29.src.rpm

Install Howto

Install texlive-natded rpm package:

# dnf install texlive-natded




2018-10-05 - Tom Callaway <spot@fedoraproject.org> - 8:2018-20
- artificial release bump to work around bug in koji (https://pagure.io/koji/issue/1119)
2018-10-01 - Tom Callaway <spot@fedoraproject.org> - 8:2018-2
- fix collection-texworks to depend on texlive-texworks-doc (texworks is windows only) (bz1634313)
2018-09-21 - Tom Callaway <spot@fedoraproject.org> - 8:2018-1
- bump epoch
- use a mirror that isn't broken/evil
- use %sources macro to make things nicer in the spec file
- hopefully fix all broken dependencies
2018-07-14 - Fedora Release Engineering <releng@fedoraproject.org> - 7:2017-17
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-07-10 - Tom Callaway <spot@fedoraproject.org> - 7:2017-16
- add algobox
- remove Provides: tex(textcase.sty) from revtex4 (used to live there, now it is in textcase)
- add versioning to mensa-tex provide
2018-07-02 - Tom Callaway <spot@fedoraproject.org> - 7:2017-15
- update newtxsf
- remove incorrect provides from newtx
- add mensa-tex
2018-06-06 - Tom Callaway <spot@fedoraproject.org> - 7:2017-14
- add Provides: tex-japanese to resolve upgrade issue
2018-05-29 - Tom Callaway <spot@fedoraproject.org> - 7:2017-13
- add epochs to more obsoletes
2018-05-25 - Tom Callaway <spot@fedoraproject.org> - 7:2017-12
- fix Requires: texlive-xii to point to Requires: texlive-xii-doc
2018-05-22 - Tom Callaway <spot@fedoraproject.org> - 7:2017-11
- update cleverref

See Also

Package Description
texlive-nath-doc-svn15878.0-20.fc29.noarch.rpm Documentation for nath
texlive-nath-svn15878.0-20.fc29.noarch.rpm Natural mathematics notation
texlive-nature-doc-svn21819.1.0-20.fc29.noarch.rpm Documentation for nature
texlive-nature-svn21819.1.0-20.fc29.noarch.rpm Prepare papers for the journal Nature
texlive-navigator-doc-svn41413-20.fc29.noarch.rpm Documentation for navigator
texlive-navigator-svn41413-20.fc29.noarch.rpm PDF features across formats and engines
texlive-navydocs-svn41643-20.fc29.noarch.rpm Support for Technical Reports by US Navy Organizations
texlive-ncclatex-doc-svn15878.1.5-20.fc29.noarch.rpm Documentation for ncclatex
texlive-ncclatex-svn15878.1.5-20.fc29.noarch.rpm An extended general-purpose class
texlive-ncctools-doc-svn48127-20.fc29.noarch.rpm Documentation for ncctools
texlive-ncctools-svn48127-20.fc29.noarch.rpm A collection of general packages for LaTeX
texlive-ncntrsbk-svn31835.0-20.fc29.noarch.rpm URW "Base 35" font pack for LaTeX
texlive-nddiss-doc-svn45107-20.fc29.noarch.rpm Documentation for nddiss
texlive-nddiss-svn45107-20.fc29.noarch.rpm Notre Dame Dissertation format class
texlive-ndsu-thesis-doc-svn46639-20.fc29.noarch.rpm Documentation for ndsu-thesis