SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

texlive-frege rpm build for : OpenSuSE. For other distributions click texlive-frege.

Name : texlive-frege
Version : 2017.133.1.3svn27417 Vendor : openSUSE
Release : lp152.7.2 Date : 2019-09-20 22:23:49
Group : Productivity/Publishing/TeX/Base Source RPM : texlive-specs-j-2017-lp152.7.2.src.rpm
Size : 0.07 MB
Packager : https://bugs_opensuse_org
Summary : Typeset fregean Begriffsschrift
Description :
The package defines a number of new commands for typesetting
fregean Begriffsschrift in LaTeX. It is loosely based on the
package begriff, and offers a number of improvements including
better relative lengths of the content stroke with respect to
other strokes, content strokes that point at the middle of
lines rather than the bottom, a greater width for the assertion
stroke as compared to the content stroke, a more intuitive
structure for the conditional, greater care taken to allow for
the linewidth in the spacing of formulas.

date: 2016-06-24 17:18:15 +0000

RPM found in directory: /vol/rzm3/linux-opensuse/distribution/leap/15.2/repo/oss/noarch

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  texlive-frege-2017.133.1.3svn27417-lp152.7.2.noarch.rpm
ftp.icm.edu.pl  texlive-frege-2017.133.1.3svn27417-lp152.7.2.noarch.rpm
ftp.icm.edu.pl  texlive-frege-2017.133.1.3svn27417-lp152.7.2.noarch.rpm
     

Provides :
tex(frege.sty)
texlive-frege

Requires :
/bin/sh
/bin/sh
/bin/sh
coreutils
coreutils
findutils
grep
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
sed
tex(amssymb.sty)
tex(ifthen.sty)
texlive >= 2017
texlive >= 2017
texlive >= 2017


Content of RPM :
/usr/share/texmf/tex/latex/frege/frege.sty

 
ICM