Thu, 12 Nov 2026 08:11:42 UTC Log in

texlive-natded-12:svn32693-3.fc45.noarch.rpm

noarch
Typeset natural deduction proofs 345.92 KB built 2026-10-18 02:55:42 GMT
Build 16621

Description

The package provides commands to typeset proofs in the style used by Jaskowski, or that of Kalish and Montague.

Dependencies

11 total
Requires7
  • rpmlib(CompressedFileNames) <= 3.0.4-1
  • rpmlib(FileDigests) <= 4.6.0-1
  • rpmlib(PayloadFilesHavePrefix) <= 4.0-1
  • rpmlib(PayloadIsZstd) <= 5.4.18-1
  • tex(calc.sty)
  • texlive-base
  • texlive-kpathsea
Provides3
  • tex(natded.sty) = 2026
  • texlive-natded = 12:svn32693-3.fc45
  • texlive-natded-doc = 12:svn32693-3.fc45
Obsoletes1
  • texlive-natded-doc <= 11:svn32693
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances

Files

10
Name ascending sort Size
/usr/share/licenses/texlive-natded 0.00 B
/usr/share/licenses/texlive-natded/lppl1.3c.txt 18.66 KB
/usr/share/texlive/texmf-dist/doc/latex/natded 0.00 B
/usr/share/texlive/texmf-dist/doc/latex/natded/README.md 135.00 B
/usr/share/texlive/texmf-dist/doc/latex/natded/extended_doc.pdf 184.64 KB
/usr/share/texlive/texmf-dist/doc/latex/natded/extended_doc.tex 18.27 KB
/usr/share/texlive/texmf-dist/doc/latex/natded/natded.pdf 140.51 KB
/usr/share/texlive/texmf-dist/doc/latex/natded/natded.tex 9.76 KB
/usr/share/texlive/texmf-dist/tex/latex/natded 0.00 B
/usr/share/texlive/texmf-dist/tex/latex/natded/natded.sty 14.81 KB
Files 1–10 of 10

Component of

buildroots that installed this RPM

No Buildroots