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

texlive-ribbonproofs-1.0-31137.1 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

Name: texlive-ribbonproofs Distribution: OpenMandriva Lx
Version: 1.0 Vendor: OpenMandriva
Release: 31137.1 Build date: Mon Jul 13 06:05:23 2026
Group: Publishing Build host: altra-1.openmandriva.org
Size: 0 Source RPM: texlive-ribbonproofs-1.0-31137.1.src.rpm
Packager: bero <bero@lindev.ch>
Url: https://www.ctan.org/tex-archive/macros/latex/contrib/ribbonproofs
Summary: Drawing ribbon proofs
 
The package provides a way to draw "ribbon proofs" in LaTeX. A ribbon
proof is a diagrammatic representation of a mathematical proof that a
computer program meets its specification. These diagrams are more human-
readable, more scalable, and more easily modified than the corresponding
textual proofs.

Provides

Requires

License

lppl1.3

Files

/usr/share/texmf-dist
/usr/share/texmf-dist/doc
/usr/share/texmf-dist/doc/latex
/usr/share/texmf-dist/doc/latex/ribbonproofs
/usr/share/texmf-dist/doc/latex/ribbonproofs/README
/usr/share/texmf-dist/doc/latex/ribbonproofs/ribbonproofsmanual.pdf
/usr/share/texmf-dist/doc/latex/ribbonproofs/ribbonproofsmanual.tex
/usr/share/texmf-dist/tex
/usr/share/texmf-dist/tex/latex
/usr/share/texmf-dist/tex/latex/ribbonproofs
/usr/share/texmf-dist/tex/latex/ribbonproofs/ribbonproofs.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Sep 16 22:13:44 2026