| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: texlive-turnstile | Distribution: Fedora Project |
| Version: svn64967 | Vendor: Fedora Project |
| Release: 1.fc44 | Build date: Wed Feb 4 16:11:55 2026 |
| Group: Unspecified | Build host: buildvm-x86-04.rdu3.fedoraproject.org |
| Size: 731845 | Source RPM: texlive-collection-mathscience-svn77507-1.fc44.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.
LPPL-1.3c
* 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
/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, Fri Aug 14 05:19:38 2026