- Name: texlive-lkproof
- Version: svn20021.3.1
- Release: 20.fc18
- Epoch: 2
- Group: Applications/Publishing
- License: GPL+
- Url: http://tug.org/texlive/
- Summary: LK Proof figure macros
- Architecture: noarch
- Size: 7239
- Distribution: Fedora Project
- Vendor: Fedora Project
- Packager: Fedora Project
Description:
The package defines a pair of commands \infer and \deduce, that
are used in constructing LK proof diagrams.
date: 2010-10-07 09:27:06 +0200
- OptFlags: -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic
- Cookie:
- Buildhost: buildvm-25.phx2.fedoraproject.org
Sources packages:
Other version of this rpm: