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

texlive-bussproofs-extra-0.4-51299.1 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

Name: texlive-bussproofs-extra Distribution: OpenMandriva Lx
Version: 0.4 Vendor: OpenMandriva
Release: 51299.1 Build date: Sun Jul 12 03:23:34 2026
Group: Publishing Build host: altra-2.openmandriva.org
Size: 0 Source RPM: texlive-bussproofs-extra-0.4-51299.1.src.rpm
Packager: bero <bero@lindev.ch>
Url: https://www.ctan.org/tex-archive/macros/latex/contrib/bussproofs-extra
Summary: Extra commands for bussproofs.sty
 
This package provides additional functionality for bussproofs.sty;
specifically, it allows for typesetting of entire (sub)deductions.

Provides

Requires

License

lppl1.3c

Files

/usr/share/texmf-dist
/usr/share/texmf-dist/doc
/usr/share/texmf-dist/doc/latex
/usr/share/texmf-dist/doc/latex/bussproofs-extra
/usr/share/texmf-dist/doc/latex/bussproofs-extra/LICENSE.txt
/usr/share/texmf-dist/doc/latex/bussproofs-extra/README.md
/usr/share/texmf-dist/doc/latex/bussproofs-extra/bpextra.sty
/usr/share/texmf-dist/doc/latex/bussproofs-extra/bussproofs-extra.pdf
/usr/share/texmf-dist/source
/usr/share/texmf-dist/source/latex
/usr/share/texmf-dist/source/latex/bussproofs-extra
/usr/share/texmf-dist/source/latex/bussproofs-extra/bussproofs-extra.dtx
/usr/share/texmf-dist/source/latex/bussproofs-extra/bussproofs-extra.ins
/usr/share/texmf-dist/tex
/usr/share/texmf-dist/tex/latex
/usr/share/texmf-dist/tex/latex/bussproofs-extra
/usr/share/texmf-dist/tex/latex/bussproofs-extra/bussproofs-extra.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Aug 9 17:12:13 2026