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

Name: texlive-lkproof

Project: openSUSE_13.2

Repository: oss

Title: LK Proof figure macros

Description:
The package defines a pair of commands \infer and \deduce, that
are used in constructing LK proof diagrams.

date: 2010-10-07 07:27:06 +0000

Version: 2013.84.3.1svn20021

Release: 16.1.7

Architecture: noarch

Size: 12.6 KB

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