Information for RPM texlive-lsc-11:svn15878.0-76.fc42.noarch.rpm
| ID | 578305 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Build | texlive-2023-76.fc42 | ||||||||||
| Name | texlive-lsc | ||||||||||
| Version | svn15878.0 | ||||||||||
| Release | 76.fc42 | ||||||||||
| Epoch | 11 | ||||||||||
| Arch | noarch | ||||||||||
| Draft | False | ||||||||||
| Summary | Typesetting Live Sequence Charts | ||||||||||
| Description | This package is similar to the msc package in that it provides macros for typesetting a variant of sequence diagrams, in this case the Live Sequence Charts of Damm and Harel. The package supports the full LSC language of the original LSC paper, the Klose-extensions for formal verification and some of the Harel- extensions for the Play-In/Play-Out approach (cf. the manual). | ||||||||||
| Build Time | 2025-03-28 04:45:21 GMT | ||||||||||
| Size | 25.57 KB | ||||||||||
| 9fdfd4008def287d4680a9ddd31cbb4f | |||||||||||
| License | LPPL-1.3c | ||||||||||
| Buildroot | f42-build-3443232-45454 | ||||||||||
| Provides |
|
||||||||||
| Obsoletes | No Obsoletes | ||||||||||
| Conflicts | No Conflicts | ||||||||||
| Requires |
|
||||||||||
| Recommends | No Recommends | ||||||||||
| Suggests | No Suggests | ||||||||||
| Supplements | No Supplements | ||||||||||
| Enhances | No Enhances | ||||||||||
| Files | |||||||||||
| Component of | No Buildroots |
