Dependency of nagios-plugins-nwc-health-8.0-1.1.noarch.rpm

Name: texlive-semantic

Project: openSUSE_13.2

Repository: oss

Title: Help for writing programming language semantics

Description:
Eases the typesetting of notation of semantics and compilers.
Includes T-diagrams, various derivation symbols and inference
trees.

date: 2007-01-15 19:26:34 +0000

Version: 2013.84.2.0svn15878

Release: 17.1.7

Architecture: noarch

Size: 17.2 KB

Build Time: 2014-10-08 19:23:55 +0200 (over 9 years ago)