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

texlive-temporal-logic-svn77281-2.fc45 RPM for noarch

From Fedora Rawhide for ppc64le / t

Name: texlive-temporal-logic Distribution: Fedora Project
Version: svn77281 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: 566033 Source RPM: texlive-collection-mathscience-svn78771-2.fc45.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.

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-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, Tue Jul 21 00:13:59 2026