Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM texlive-natded-10:svn32693.0.1-65.fc38.noarch.rpm

ID	946246
Name	texlive-natded
Version	svn32693.0.1
Release	65.fc38
Epoch	10
Arch	noarch
Summary	Typeset natural deduction proofs
Description	The package provides commands to typeset proofs in the style used by Jaskowski, or that of Kalish and Montague.
Build Time	2023-01-24 16:57:17 GMT
Size	19.33 KB
SIGMD5	9e3c6306740cfa62f0f7fd6362683b30
License	LPPL-1.3c
Provides	tex(natded.sty) = 2022 tex-natded = 2022 texlive-natded = 10:svn32693.0.1-65.fc38
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(PayloadIsZstd) <= 5.4.18-1 tex-kpathsea texlive-base texlive-kpathsea-bin
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 4 of 4 Name Size /usr/share/licenses/texlive-natded 0.00 B /usr/share/licenses/texlive-natded/lppl1.3.txt 18.66 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
Component of	No Buildroots