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

texlive-hideproofs-svn75712-2.fc45 RPM for noarch

From Fedora Rawhide for aarch64 / t

Name: texlive-hideproofs Distribution: Fedora Project
Version: svn75712 Vendor: Fedora Project
Release: 2.fc45 Build date: Wed Apr 29 21:59:51 2026
Group: Unspecified Build host: buildvm-x86-18.rdu3.fedoraproject.org
Size: 396340 Source RPM: texlive-collection-mathscience-svn78771-2.fc45.src.rpm
Packager: Fedora Project
Url: http://tug.org/texlive/
Summary: Defines a starred proof environment that hides proofs in draft mode
 
This package introduces an alternate proof environment, proof*, which
conditionally hides or shows its contents based on the document mode (draft,
final, or default). This is useful for omitting formal proofs from draft
versions while retaining them in final documents. The motivation for this
package is to reduce the clutter in large files by omitting long proofs,
allowing authors to focus their attention on results or proofs that are
currently works in progress.

Provides

Requires

License

LPPL-1.3c

Changelog

* Wed Apr 29 2026 Tom Callaway <spot@fedoraproject.org> - 12:svn78771-2
  - Update collection from svn77561 to svn78771
  - Add chempid
  - Add dnsrecord
  - Add fits-astro
  - Add glmatrix
  - Add mohelper
  - Add mystyletau
  - Add query-astro
  - Add quickderivs
  - Add register-transfer-level
  - Add statementsp
  - Update 70 components
* Tue Feb 10 2026 Tom Callaway <spot@fedoraproject.org> - 12:svn77561-2
  - Update to svn77561
* 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

Files

/usr/share/licenses/texlive-hideproofs
/usr/share/licenses/texlive-hideproofs/lppl1.3c.txt
/usr/share/texlive/texmf-dist/doc/latex/hideproofs
/usr/share/texlive/texmf-dist/doc/latex/hideproofs/README.md
/usr/share/texlive/texmf-dist/doc/latex/hideproofs/hideproofs-doc.pdf
/usr/share/texlive/texmf-dist/doc/latex/hideproofs/hideproofs-doc.tex
/usr/share/texlive/texmf-dist/tex/latex/hideproofs
/usr/share/texlive/texmf-dist/tex/latex/hideproofs/hideproofs.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Jun 4 22:54:48 2026