| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: texlive-mathpartir | Distribution: Fedora Project |
| Version: svn76924 | Vendor: Fedora Project |
| Release: 1.fc44 | Build date: Wed Feb 4 16:11:55 2026 |
| Group: Unspecified | Build host: buildvm-x86-04.rdu3.fedoraproject.org |
| Size: 317402 | Source RPM: texlive-collection-mathscience-svn77507-1.fc44.src.rpm |
| Packager: Fedora Project | |
| Url: http://tug.org/texlive/ | |
| Summary: Typesetting sequences of math formulas, e.g. type inference rules | |
The package provides macros for typesetting math formulas in mixed horizontal and vertical mode, automatically as best fit. It provides an environment mathpar that behaves much as a loose centered paragraph where words are math formulas, and spaces between them are larger and adjustable. It also provides a macro \inferrule for typesetting fractions where both the numerator and denominator may be sequences of formulas that will be also typeset in a similar way. It can typically be used for typesetting sets of type inference rules or typing derivations. A macro inferrule for typesetting type inference rules.
GPL-2.0-only
* Thu Jan 29 2026 Tom Callaway <spot@fedoraproject.org> - 12:svn77507-1 - update to svn77507, fix descriptions, licensing, update components * Wed Oct 08 2025 Tom Callaway <spot@fedoraproject.org> - 12:svn76005-2 - regen, no deps from docs * Tue Sep 16 2025 Tom Callaway <spot@fedoraproject.org> - 12:svn76005-1 - Update to TeX Live 2025
/usr/share/licenses/texlive-mathpartir /usr/share/licenses/texlive-mathpartir/gpl2.txt /usr/share/texlive/texmf-dist/doc/latex/mathpartir /usr/share/texlive/texmf-dist/doc/latex/mathpartir/COPYING /usr/share/texlive/texmf-dist/doc/latex/mathpartir/README /usr/share/texlive/texmf-dist/doc/latex/mathpartir/mathpartir.pdf /usr/share/texlive/texmf-dist/tex/latex/mathpartir /usr/share/texlive/texmf-dist/tex/latex/mathpartir/mathpartir.sty
Generated by rpm2html 1.8.1
Fabrice Bellet, Mon Aug 10 11:50:16 2026