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

The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...

The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.

System Arch

RPM resource texlive-mathpartir

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 typeseting 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 typeseting sets of type inference rules or typing derivations. A macro inferrule for typesetting type inference rules. date: 2016-06-24 17:18:15 +0000

Found 4 sites for texlive-mathpartir

Found 35 RPM for texlive-mathpartir

PackageSummaryDistributionDownload
texlive-mathpartir-39864-1.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesOpenMandriva Cooker for x86_64texlive-mathpartir-39864-1.noarch.rpm
texlive-mathpartir-39864-1.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesOpenMandriva Cooker for aarch64texlive-mathpartir-39864-1.noarch.rpm
texlive-mathpartir-39864-1.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesOpenMandriva 5.0 for x86_64texlive-mathpartir-39864-1.noarch.rpm
texlive-mathpartir-39864-1.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesOpenMandriva 5.0 for aarch64texlive-mathpartir-39864-1.noarch.rpm
texlive-mathpartir-2024.213.1.3.2svn39864-54.2.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesOpenSuSE Tumbleweed for noarchtexlive-mathpartir-2024.213.1.3.2svn39864-54.2.noarch.rpm
texlive-mathpartir-2024.213.1.3.2svn39864-54.2.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesOpenSuSE Ports Tumbleweed for noarchtexlive-mathpartir-2024.213.1.3.2svn39864-54.2.noarch.rpm
Typesetting sequences of math formulas, e.g. type inference rulestexlive-mathpartir-2024.213.1.3.2svn39864-54.2.noarch.rpm
texlive-mathpartir-2021.189.1.3.2svn39864-150400.17.1.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesOpenSuSE Leap 15.4 for noarchtexlive-mathpartir-2021.189.1.3.2svn39864-150400.17.1.noarch.rpm
texlive-mathpartir-2021.189.1.3.2svn39864-150400.17.1.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesOpenSuSE Leap 15.5 for noarchtexlive-mathpartir-2021.189.1.3.2svn39864-150400.17.1.noarch.rpm
texlive-mathpartir-2021.189.1.3.2svn39864-150400.17.1.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesOpenSuSE Leap 15.6 for noarchtexlive-mathpartir-2021.189.1.3.2svn39864-150400.17.1.noarch.rpm
texlive-mathpartir-2017.133.1.3.2svn39864-5.18.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesOpenSuSE Leap 15.3 for noarchtexlive-mathpartir-2017.133.1.3.2svn39864-5.18.noarch.rpm
texlive-mathpartir-2017.133.1.3.2svn39864-lp152.6.2.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesOpenSuSE Leap 15.2 for noarchtexlive-mathpartir-2017.133.1.3.2svn39864-lp152.6.2.noarch.rpm
texlive-mathpartir-svn39864-71.fc40.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora Rawhide for x86_64texlive-mathpartir-svn39864-71.fc40.noarch.rpm
texlive-mathpartir-svn39864-71.fc40.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora Rawhide for aarch64texlive-mathpartir-svn39864-71.fc40.noarch.rpm
texlive-mathpartir-svn39864-71.fc40.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora Rawhide for ppc64letexlive-mathpartir-svn39864-71.fc40.noarch.rpm
texlive-mathpartir-svn39864-71.fc40.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora Rawhide for s390xtexlive-mathpartir-svn39864-71.fc40.noarch.rpm
texlive-mathpartir-svn39864-71.fc40.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora 40 for x86_64texlive-mathpartir-svn39864-71.fc40.noarch.rpm
texlive-mathpartir-svn39864-71.fc40.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora 40 for aarch64texlive-mathpartir-svn39864-71.fc40.noarch.rpm
texlive-mathpartir-svn39864-71.fc40.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora 40 for ppc64letexlive-mathpartir-svn39864-71.fc40.noarch.rpm
texlive-mathpartir-svn39864-71.fc40.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora 40 for s390xtexlive-mathpartir-svn39864-71.fc40.noarch.rpm
texlive-mathpartir-svn39864-69.fc39.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora 39 for x86_64texlive-mathpartir-svn39864-69.fc39.noarch.rpm
texlive-mathpartir-svn39864-69.fc39.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora 39 for aarch64texlive-mathpartir-svn39864-69.fc39.noarch.rpm
texlive-mathpartir-svn39864-69.fc39.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora 39 for ppc64letexlive-mathpartir-svn39864-69.fc39.noarch.rpm
texlive-mathpartir-svn39864-69.fc39.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora 39 for s390xtexlive-mathpartir-svn39864-69.fc39.noarch.rpm
texlive-mathpartir-svn39864-65.fc38.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora 38 for x86_64texlive-mathpartir-svn39864-65.fc38.noarch.rpm
texlive-mathpartir-svn39864-65.fc38.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora 38 for aarch64texlive-mathpartir-svn39864-65.fc38.noarch.rpm
texlive-mathpartir-svn39864-65.fc38.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora 38 for ppc64letexlive-mathpartir-svn39864-65.fc38.noarch.rpm
texlive-mathpartir-svn39864-65.fc38.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora 38 for s390xtexlive-mathpartir-svn39864-65.fc38.noarch.rpm
texlive-mathpartir-svn39864-60.fc37.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora 37 updates for x86_64texlive-mathpartir-svn39864-60.fc37.noarch.rpm
texlive-mathpartir-svn39864-60.fc37.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora 37 updates for aarch64texlive-mathpartir-svn39864-60.fc37.noarch.rpm
texlive-mathpartir-svn39864-60.fc37.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora 37 updates for armhfptexlive-mathpartir-svn39864-60.fc37.noarch.rpm
texlive-mathpartir-svn39864-59.fc37.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora 37 for x86_64texlive-mathpartir-svn39864-59.fc37.noarch.rpm
texlive-mathpartir-svn39864-59.fc37.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora 37 for aarch64texlive-mathpartir-svn39864-59.fc37.noarch.rpm
texlive-mathpartir-svn39864-59.fc37.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora 37 for ppc64letexlive-mathpartir-svn39864-59.fc37.noarch.rpm
texlive-mathpartir-svn39864-59.fc37.noarch.htmlTypesetting sequences of math formulas, e.g. type inference rulesFedora 37 for s390xtexlive-mathpartir-svn39864-59.fc37.noarch.rpm

Generated by rpm2html 1.6

Fabrice Bellet