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

The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...

The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.

System Arch

RPM resource texlive-lsc

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). date: 2016-06-24 17:18:15 +0000

Found 4 sites for texlive-lsc

Found 35 RPM for texlive-lsc

PackageSummaryDistributionDownload
texlive-lsc-15878-1.noarch.htmlTypesetting Live Sequence ChartsOpenMandriva Cooker for x86_64texlive-lsc-15878-1.noarch.rpm
texlive-lsc-15878-1.noarch.htmlTypesetting Live Sequence ChartsOpenMandriva Cooker for aarch64texlive-lsc-15878-1.noarch.rpm
texlive-lsc-15878-1.noarch.htmlTypesetting Live Sequence ChartsOpenMandriva 5.0 for x86_64texlive-lsc-15878-1.noarch.rpm
texlive-lsc-15878-1.noarch.htmlTypesetting Live Sequence ChartsOpenMandriva 5.0 for aarch64texlive-lsc-15878-1.noarch.rpm
texlive-lsc-2024.213.svn15878-56.2.noarch.htmlTypesetting Live Sequence ChartsOpenSuSE Tumbleweed for noarchtexlive-lsc-2024.213.svn15878-56.2.noarch.rpm
texlive-lsc-2024.213.svn15878-56.2.noarch.htmlTypesetting Live Sequence ChartsOpenSuSE Ports Tumbleweed for noarchtexlive-lsc-2024.213.svn15878-56.2.noarch.rpm
Typesetting Live Sequence Chartstexlive-lsc-2023.209.svn15878-55.3.noarch.rpm
texlive-lsc-2021.189.svn15878-150400.18.1.noarch.htmlTypesetting Live Sequence ChartsOpenSuSE Leap 15.4 for noarchtexlive-lsc-2021.189.svn15878-150400.18.1.noarch.rpm
texlive-lsc-2021.189.svn15878-150400.18.1.noarch.htmlTypesetting Live Sequence ChartsOpenSuSE Leap 15.5 for noarchtexlive-lsc-2021.189.svn15878-150400.18.1.noarch.rpm
texlive-lsc-2021.189.svn15878-150400.18.1.noarch.htmlTypesetting Live Sequence ChartsOpenSuSE Leap 15.6 for noarchtexlive-lsc-2021.189.svn15878-150400.18.1.noarch.rpm
texlive-lsc-2017.137.svn15878-7.6.4.noarch.htmlTypesetting Live Sequence ChartsOpenSuSE Leap 15.3 for noarchtexlive-lsc-2017.137.svn15878-7.6.4.noarch.rpm
texlive-lsc-2017.137.svn15878-lp152.8.2.noarch.htmlTypesetting Live Sequence ChartsOpenSuSE Leap 15.2 for noarchtexlive-lsc-2017.137.svn15878-lp152.8.2.noarch.rpm
texlive-lsc-svn15878.0-71.fc40.noarch.htmlTypesetting Live Sequence ChartsFedora Rawhide for x86_64texlive-lsc-svn15878.0-71.fc40.noarch.rpm
texlive-lsc-svn15878.0-71.fc40.noarch.htmlTypesetting Live Sequence ChartsFedora Rawhide for aarch64texlive-lsc-svn15878.0-71.fc40.noarch.rpm
texlive-lsc-svn15878.0-71.fc40.noarch.htmlTypesetting Live Sequence ChartsFedora Rawhide for ppc64letexlive-lsc-svn15878.0-71.fc40.noarch.rpm
texlive-lsc-svn15878.0-71.fc40.noarch.htmlTypesetting Live Sequence ChartsFedora Rawhide for s390xtexlive-lsc-svn15878.0-71.fc40.noarch.rpm
texlive-lsc-svn15878.0-71.fc40.noarch.htmlTypesetting Live Sequence ChartsFedora 40 for x86_64texlive-lsc-svn15878.0-71.fc40.noarch.rpm
texlive-lsc-svn15878.0-71.fc40.noarch.htmlTypesetting Live Sequence ChartsFedora 40 for aarch64texlive-lsc-svn15878.0-71.fc40.noarch.rpm
texlive-lsc-svn15878.0-71.fc40.noarch.htmlTypesetting Live Sequence ChartsFedora 40 for ppc64letexlive-lsc-svn15878.0-71.fc40.noarch.rpm
texlive-lsc-svn15878.0-71.fc40.noarch.htmlTypesetting Live Sequence ChartsFedora 40 for s390xtexlive-lsc-svn15878.0-71.fc40.noarch.rpm
texlive-lsc-svn15878.0-69.fc39.noarch.htmlTypesetting Live Sequence ChartsFedora 39 for x86_64texlive-lsc-svn15878.0-69.fc39.noarch.rpm
texlive-lsc-svn15878.0-69.fc39.noarch.htmlTypesetting Live Sequence ChartsFedora 39 for aarch64texlive-lsc-svn15878.0-69.fc39.noarch.rpm
texlive-lsc-svn15878.0-69.fc39.noarch.htmlTypesetting Live Sequence ChartsFedora 39 for ppc64letexlive-lsc-svn15878.0-69.fc39.noarch.rpm
texlive-lsc-svn15878.0-69.fc39.noarch.htmlTypesetting Live Sequence ChartsFedora 39 for s390xtexlive-lsc-svn15878.0-69.fc39.noarch.rpm
texlive-lsc-svn15878.0-65.fc38.noarch.htmlTypesetting Live Sequence ChartsFedora 38 for x86_64texlive-lsc-svn15878.0-65.fc38.noarch.rpm
texlive-lsc-svn15878.0-65.fc38.noarch.htmlTypesetting Live Sequence ChartsFedora 38 for aarch64texlive-lsc-svn15878.0-65.fc38.noarch.rpm
texlive-lsc-svn15878.0-65.fc38.noarch.htmlTypesetting Live Sequence ChartsFedora 38 for ppc64letexlive-lsc-svn15878.0-65.fc38.noarch.rpm
texlive-lsc-svn15878.0-65.fc38.noarch.htmlTypesetting Live Sequence ChartsFedora 38 for s390xtexlive-lsc-svn15878.0-65.fc38.noarch.rpm
texlive-lsc-svn15878.0-60.fc37.noarch.htmlTypesetting Live Sequence ChartsFedora 37 updates for x86_64texlive-lsc-svn15878.0-60.fc37.noarch.rpm
texlive-lsc-svn15878.0-60.fc37.noarch.htmlTypesetting Live Sequence ChartsFedora 37 updates for aarch64texlive-lsc-svn15878.0-60.fc37.noarch.rpm
texlive-lsc-svn15878.0-60.fc37.noarch.htmlTypesetting Live Sequence ChartsFedora 37 updates for armhfptexlive-lsc-svn15878.0-60.fc37.noarch.rpm
texlive-lsc-svn15878.0-59.fc37.noarch.htmlTypesetting Live Sequence ChartsFedora 37 for x86_64texlive-lsc-svn15878.0-59.fc37.noarch.rpm
texlive-lsc-svn15878.0-59.fc37.noarch.htmlTypesetting Live Sequence ChartsFedora 37 for aarch64texlive-lsc-svn15878.0-59.fc37.noarch.rpm
texlive-lsc-svn15878.0-59.fc37.noarch.htmlTypesetting Live Sequence ChartsFedora 37 for ppc64letexlive-lsc-svn15878.0-59.fc37.noarch.rpm
texlive-lsc-svn15878.0-59.fc37.noarch.htmlTypesetting Live Sequence ChartsFedora 37 for s390xtexlive-lsc-svn15878.0-59.fc37.noarch.rpm

Generated by rpm2html 1.6

Fabrice Bellet