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

texlive-temporal-logic-1.1-77281.1 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

Name: texlive-temporal-logic Distribution: OpenMandriva Lx
Version: 1.1 Vendor: OpenMandriva
Release: 77281.1 Build date: Mon Jul 13 07:04:59 2026
Group: Publishing Build host: emag-3.openmandriva.org
Size: 0 Source RPM: texlive-temporal-logic-1.1-77281.1.src.rpm
Packager: bero <bero@lindev.ch>
Url: https://www.ctan.org/tex-archive/macros/latex/contrib/temporal-logic
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

lppl1.3c

Files

/usr/share/texmf-dist
/usr/share/texmf-dist/doc
/usr/share/texmf-dist/doc/latex
/usr/share/texmf-dist/doc/latex/temporal-logic
/usr/share/texmf-dist/doc/latex/temporal-logic/README.md
/usr/share/texmf-dist/doc/latex/temporal-logic/temporal-logic.pdf
/usr/share/texmf-dist/source
/usr/share/texmf-dist/source/latex
/usr/share/texmf-dist/source/latex/temporal-logic
/usr/share/texmf-dist/source/latex/temporal-logic/temporal-logic.dtx
/usr/share/texmf-dist/source/latex/temporal-logic/temporal-logic.ins
/usr/share/texmf-dist/tex
/usr/share/texmf-dist/tex/latex
/usr/share/texmf-dist/tex/latex/temporal-logic
/usr/share/texmf-dist/tex/latex/temporal-logic/temporal-logic.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Aug 14 22:19:38 2026