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

texlive-turnstile-svn77682-2.fc45 RPM for noarch

From Fedora Rawhide for ppc64le / t

Name: texlive-turnstile Distribution: Fedora Project
Version: svn77682 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: 731845 Source RPM: texlive-collection-mathscience-svn78771-2.fc45.src.rpm
Packager: Fedora Project
Url: http://tug.org/texlive/
Summary: Typeset the (logic) turnstile notation
 
Among other uses, the turnstile sign is used by logicians for denoting a
consequence relation, related to a given logic, between a collection of
formulas and a derived formula.

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-turnstile
/usr/share/licenses/texlive-turnstile/lppl1.3c.txt
/usr/share/texlive/texmf-dist/doc/latex/turnstile
/usr/share/texlive/texmf-dist/doc/latex/turnstile/README
/usr/share/texlive/texmf-dist/doc/latex/turnstile/README.en
/usr/share/texlive/texmf-dist/doc/latex/turnstile/README.pt
/usr/share/texlive/texmf-dist/doc/latex/turnstile/turnstile-en.pdf
/usr/share/texlive/texmf-dist/doc/latex/turnstile/turnstile-pt.pdf
/usr/share/texlive/texmf-dist/doc/latex/turnstile/turnstile_article.pdf
/usr/share/texlive/texmf-dist/doc/latex/turnstile/turnstile_article.tex
/usr/share/texlive/texmf-dist/doc/latex/turnstile/turnstile_artigo.pdf
/usr/share/texlive/texmf-dist/doc/latex/turnstile/turnstile_artigo.tex
/usr/share/texlive/texmf-dist/tex/latex/turnstile
/usr/share/texlive/texmf-dist/tex/latex/turnstile/turnstile.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 21 00:13:59 2026