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-bussproofs-colorful

This is a small extension to the bussproofs package that adds color control for proof trees. It allows users to customize the colors of nodes (formulas), inference lines, and labels via package options and runtime commands, while preserving the original layout and spacing of bussproofs.

Found 3 sites for texlive-bussproofs-colorful

Found 17 RPM for texlive-bussproofs-colorful

PackageSummaryDistributionDownload
texlive-bussproofs-colorful-2026.226.1.0svn77507-59.2.noarch.htmlColor extension for the bussproofs packageOpenSuSE Tumbleweed for noarchtexlive-bussproofs-colorful-2026.226.1.0svn77507-59.2.noarch.rpm
Color extension for the bussproofs packagetexlive-bussproofs-colorful-2026.226.1.0svn77507-59.2.noarch.rpm
Color extension for the bussproofs packagetexlive-bussproofs-colorful-2026.222.1.0svn77507-58.1.noarch.rpm
texlive-bussproofs-colorful-1.0-77507.1.noarch.htmlColor extension for the bussproofs packageOpenMandriva Cooker for x86_64texlive-bussproofs-colorful-1.0-77507.1.noarch.rpm
texlive-bussproofs-colorful-1.0-77507.1.noarch.htmlColor extension for the bussproofs packageOpenMandriva Cooker for aarch64texlive-bussproofs-colorful-1.0-77507.1.noarch.rpm
texlive-bussproofs-colorful-svn77507-3.fc45.noarch.htmlColor extension for the bussproofs packageFedora Rawhide for x86_64texlive-bussproofs-colorful-svn77507-3.fc45.noarch.rpm
texlive-bussproofs-colorful-svn77507-3.fc45.noarch.htmlColor extension for the bussproofs packageFedora Rawhide for aarch64texlive-bussproofs-colorful-svn77507-3.fc45.noarch.rpm
texlive-bussproofs-colorful-svn77507-3.fc45.noarch.htmlColor extension for the bussproofs packageFedora Rawhide for ppc64letexlive-bussproofs-colorful-svn77507-3.fc45.noarch.rpm
texlive-bussproofs-colorful-svn77507-3.fc45.noarch.htmlColor extension for the bussproofs packageFedora Rawhide for s390xtexlive-bussproofs-colorful-svn77507-3.fc45.noarch.rpm
texlive-bussproofs-colorful-svn77507-2.fc44.noarch.htmlColor extension for the bussproofs packageFedora 44 updates for x86_64texlive-bussproofs-colorful-svn77507-2.fc44.noarch.rpm
texlive-bussproofs-colorful-svn77507-2.fc44.noarch.htmlColor extension for the bussproofs packageFedora 44 updates for aarch64texlive-bussproofs-colorful-svn77507-2.fc44.noarch.rpm
texlive-bussproofs-colorful-svn77507-2.fc44.noarch.htmlColor extension for the bussproofs packageFedora 44 updates for ppc64letexlive-bussproofs-colorful-svn77507-2.fc44.noarch.rpm
texlive-bussproofs-colorful-svn77507-2.fc44.noarch.htmlColor extension for the bussproofs packageFedora 44 updates for s390xtexlive-bussproofs-colorful-svn77507-2.fc44.noarch.rpm
texlive-bussproofs-colorful-svn77507-1.fc44.noarch.htmlColor extension for the bussproofs packageFedora 44 for x86_64texlive-bussproofs-colorful-svn77507-1.fc44.noarch.rpm
texlive-bussproofs-colorful-svn77507-1.fc44.noarch.htmlColor extension for the bussproofs packageFedora 44 for aarch64texlive-bussproofs-colorful-svn77507-1.fc44.noarch.rpm
texlive-bussproofs-colorful-svn77507-1.fc44.noarch.htmlColor extension for the bussproofs packageFedora 44 for ppc64letexlive-bussproofs-colorful-svn77507-1.fc44.noarch.rpm
texlive-bussproofs-colorful-svn77507-1.fc44.noarch.htmlColor extension for the bussproofs packageFedora 44 for s390xtexlive-bussproofs-colorful-svn77507-1.fc44.noarch.rpm

Generated by rpm2html 1.6

Fabrice Bellet