Main Site Links:

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

Information for RPM texlive-natded-11:svn32693.0.1-71.fc40.noarch.rpm

ID	1273043
Name	texlive-natded
Version	svn32693.0.1
Release	71.fc40
Epoch	11
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	2024-01-27 06:31:55 GMT
Size	18.34 KB
SIGMD5	5c0533913b47d88f370b4eccdfc44b32
License	LPPL-1.3c
Provides	tex(natded.sty) = 2023 tex-natded = 2023 texlive-natded = 11:svn32693.0.1-71.fc40
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