ID | 44037 |
Name | texlive-logicproof |
Version | svn33254.0 |
Release | 18.el7 |
Epoch | 4 |
Arch | noarch |
Summary |
Description |
Build Time | 2016-01-25 02:26:04 GMT |
Size | 22.52 KB |
| 34a73a809db3cd2fb5311c69f2ce7fe1 |
License | LPPL |
Buildroot | cloud7-openstack-common-el7-build-10510-14508 |
Provides |
tex(logicproof.sty) = 2014 |
tex-logicproof = 2014 |
texlive-logicproof = 4:svn33254.0-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(array.sty) |
tex(ifthen.sty) |
tex-kpathsea |
texlive-base |
texlive-kpathsea-bin |
|
Recommends |
No Recommends
|
Suggests |
No Suggests
|
Supplements |
No Supplements
|
Enhances |
No Enhances
|
Files |
|
Component of |
No Buildroots
|