Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

texlive-frege-1.3-27417.1 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

Name: texlive-frege Distribution: OpenMandriva Lx
Version: 1.3 Vendor: OpenMandriva
Release: 27417.1 Build date: Sun Jul 12 07:24:04 2026
Group: Publishing Build host: emag-5.openmandriva.org
Size: 0 Source RPM: texlive-frege-1.3-27417.1.src.rpm
Packager: bero <bero@lindev.ch>
Url: https://www.ctan.org/tex-archive/macros/latex/contrib/frege
Summary: Typeset fregean Begriffsschrift
 
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.

Provides

Requires

License

gpl

Files

/usr/share/texmf-dist
/usr/share/texmf-dist/doc
/usr/share/texmf-dist/doc/latex
/usr/share/texmf-dist/doc/latex/frege
/usr/share/texmf-dist/doc/latex/frege/GNU.txt
/usr/share/texmf-dist/doc/latex/frege/INSTALL
/usr/share/texmf-dist/doc/latex/frege/README
/usr/share/texmf-dist/doc/latex/frege/frege.pdf
/usr/share/texmf-dist/doc/latex/frege/frege.tex
/usr/share/texmf-dist/tex
/usr/share/texmf-dist/tex/latex
/usr/share/texmf-dist/tex/latex/frege
/usr/share/texmf-dist/tex/latex/frege/frege.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Aug 27 22:18:18 2026