texlive-natded - Typeset natural deduction proofs

Property Value
Distribution Fedora 28
Repository Fedora Updates i386
Package filename texlive-natded-svn32693.0.1-52.fc28.2.noarch.rpm
Package name texlive-natded
Package version svn32693.0.1
Package release 52.fc28.2
Package architecture noarch
Package type rpm
Category Applications/Publishing
Homepage http://tug.org/texlive/
License LPPL 1.3
Maintainer -
Download size 44.96 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-52.fc28.2.noarch.rpm svn32693.0.1 noarch Fedora Updates
texlive-natded-svn32693.0.1-42.fc28.2.noarch.rpm svn32693.0.1 noarch Fedora
texlive-natded-svn32693.0.1-42.fc28.2.noarch.rpm svn32693.0.1 noarch Fedora
texlive-natded - - -


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


Name Value
tex(natded.sty) = 2016
tex-natded = 2016
texlive-natded = svn32693.0.1-52.fc28.2


Type URL
Mirror download-ib01.fedoraproject.org
Binary Package texlive-natded-svn32693.0.1-52.fc28.2.noarch.rpm
Source Package texlive-2016-52.20160520.fc28.src.rpm

Install Howto

Install texlive-natded rpm package:

# dnf install texlive-natded




2018-08-13 - Tom Callaway <spot@fedoraproject.org> 6:2016-52.20160520
- update and cleanup hyperref package (bz1436737)
2018-07-10 - Tom Callaway <spot@fedoraproject.org> 6:2016-51.20160520
- remove Provides: tex(textcase.sty) from revtex4 (used to live there, now it is in textcase)
2018-07-07 - Tom Callaway <spot@fedoraproject.org> 6:2016-50.20160520
- fix updmap-map to reflect newtx changes so we do not have to regen in scriptlets (long and confusing)
2018-07-02 - Tom Callaway <spot@fedoraproject.org> 6:2016-49.20160520
- update newtxsf
- correct provides in newtx
2018-06-19 - Tom Callaway <spot@fedoraproject.org> 6:2016-48.20160520
- add fvextra
2018-06-07 - Tom Callaway <spot@fedoraproject.org> 6:2016-47.20160520
- add baekmuk
2018-06-04 - Tom Callaway <spot@fedoraproject.org> 6:2016-46.20160520
- add arphic-ttf
2018-05-22 - Tom Callaway <spot@fedoraproject.org> 6:2016-45.20160520
- update cleveref
2018-05-14 - Tom Callaway <spot@fedoraproject.org> 6:2016-44.20160520
- drop preview bits, provided by emacs-auctex
- update newtx to resolve (bz1469443)
2018-03-09 - Tom Callaway <spot@fedoraproject.org> 6:2016-43.20160520
- Remove the parts that are now in texlive-base
- drop dependency on cjk-gs-integrate (is not being included in F28+)

See Also

Package Description
texlive-nath-doc-svn15878.0-52.fc28.2.noarch.rpm Documentation for nath
texlive-nath-svn15878.0-52.fc28.2.noarch.rpm Natural mathematics notation
texlive-nature-doc-svn21819.1.0-52.fc28.2.noarch.rpm Documentation for nature
texlive-nature-svn21819.1.0-52.fc28.2.noarch.rpm Prepare papers for the journal Nature
texlive-navigator-doc-svn41413-52.fc28.2.noarch.rpm Documentation for navigator
texlive-navigator-svn41413-52.fc28.2.noarch.rpm PDF features across formats and engines
texlive-ncclatex-doc-svn15878.1.5-52.fc28.2.noarch.rpm Documentation for ncclatex
texlive-ncclatex-svn15878.1.5-52.fc28.2.noarch.rpm An extended general-purpose class
texlive-ncctools-doc-svn15878.3.5-52.fc28.2.noarch.rpm Documentation for ncctools
texlive-ncctools-svn15878.3.5-52.fc28.2.noarch.rpm A collection of general packages for LaTeX
texlive-ncntrsbk-svn31835.0-52.fc28.2.noarch.rpm URW "Base 35" font pack for LaTeX
texlive-nddiss-doc-svn29349.3.0-52.fc28.2.noarch.rpm Documentation for nddiss
texlive-nddiss-svn29349.3.0-52.fc28.2.noarch.rpm Notre Dame Dissertation format class
texlive-ndsu-thesis-doc-svn40536-52.fc28.2.noarch.rpm Documentation for ndsu-thesis
texlive-ndsu-thesis-svn40536-52.fc28.2.noarch.rpm North Dakota State University disquisition class