Main Site Links:

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

Information for RPM texlive-lkproof-4:svn20021.3.1-18.el7.noarch.rpm

ID	41930
Name	texlive-lkproof
Version	svn20021.3.1
Release	18.el7
Epoch	4
Arch	noarch
Summary	LK Proof figure macros
Description	The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams. date: 2010-10-07 09:27:06 +0200
Build Time	2016-01-25 02:26:04 GMT
Size	23.70 KB
SIGMD5	a46832ada957106c67365d6f798fbc8f
License	GPL+
Buildroot	cloud7-openstack-common-el7-build-10510-14508
Provides	tex(proof.sty) = 2014 tex-lkproof = 2014 texlive-lkproof = 4:svn20021.3.1-18.el7
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	/bin/sh /bin/sh /bin/sh coreutils rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(PayloadIsXz) <= 5.2-1 tex-kpathsea texlive-base texlive-kpathsea-bin
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 3 of 3 Name Size /usr/share/doc/texlive-lkproof-svn20021.3.1 4.00 KB /usr/share/doc/texlive-lkproof-svn20021.3.1/gpl.txt 35.00 B /usr/share/texlive/texmf-dist/tex/latex/lkproof/proof.sty 7.07 KB
Component of	No Buildroots