Thu, 12 Nov 2026 18:35:33 UTC Log in

texlive-gene-logic-12:svn75878-3.fc45.noarch.rpm

noarch
Typeset logic formulae, etc. 75.97 KB built 2026-10-18 02:55:42 GMT
Build 16621

Description

The package provides a facility to typeset certain logic formulae. It provides an environment like eqnarray, a newtheorem-like environment (NewTheorem), and several macros.

Dependencies

10 total
Requires6
  • rpmlib(CompressedFileNames) <= 3.0.4-1
  • rpmlib(FileDigests) <= 4.6.0-1
  • rpmlib(PayloadFilesHavePrefix) <= 4.0-1
  • rpmlib(PayloadIsZstd) <= 5.4.18-1
  • texlive-base
  • texlive-kpathsea
Provides3
  • tex(gn-logic14.sty) = 2026
  • texlive-gene-logic = 12:svn75878-3.fc45
  • texlive-gene-logic-doc = 12:svn75878-3.fc45
Obsoletes1
  • texlive-gene-logic-doc <= 11:svn75878
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances

Files

7
Name ascending sort Size
/usr/share/licenses/texlive-gene-logic 0.00 B
/usr/share/licenses/texlive-gene-logic/other-free.txt 943.00 B
/usr/share/texlive/texmf-dist/doc/latex/gene-logic 0.00 B
/usr/share/texlive/texmf-dist/doc/latex/gene-logic/gn-logic14.pdf 90.37 KB
/usr/share/texlive/texmf-dist/doc/latex/gene-logic/gn-logic14.tex 13.07 KB
/usr/share/texlive/texmf-dist/tex/latex/gene-logic 0.00 B
/usr/share/texlive/texmf-dist/tex/latex/gene-logic/gn-logic14.sty 4.53 KB
Files 1–7 of 7

Component of

buildroots that installed this RPM

No Buildroots