| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: texlive-temporal-logic | Distribution: Fedora Project |
| Version: svn77281 | 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: 566033 | Source RPM: texlive-collection-mathscience-svn77507-1.fc44.src.rpm |
| Packager: Fedora Project | |
| Url: http://tug.org/texlive/ | |
| Summary: Symbols for Temporal Logics | |
This package defines functions for rendering temporal operators defined in Linear Temporal Logic (LTL), Metric Temporal Logic (MTL), Metric First-order Temporal Logic (MFOTL), and the Counting Metric First-order Temporal Binding Logic (CMFTBL). The package defines various functions with variants in order to include or omit optional parameters of the operators like the optional interval.
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-temporal-logic /usr/share/licenses/texlive-temporal-logic/lppl1.3c.txt /usr/share/texlive/texmf-dist/doc/latex/temporal-logic /usr/share/texlive/texmf-dist/doc/latex/temporal-logic/README.md /usr/share/texlive/texmf-dist/doc/latex/temporal-logic/temporal-logic.pdf /usr/share/texlive/texmf-dist/tex/latex/temporal-logic /usr/share/texlive/texmf-dist/tex/latex/temporal-logic/temporal-logic.sty
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Aug 14 05:19:38 2026