- Name: texlive-turnstile
- Version: svn15878.1.0
- Release: 20.fc18
- Epoch: 2
- Group: Applications/Publishing
- License: LPPL
- Url: http://tug.org/texlive/
- Summary: Typeset the (logic) turnstile notation
- Architecture: noarch
- Size: 9182
- Distribution: Fedora Project
- Vendor: Fedora Project
- Packager: Fedora Project
Description:
Among other uses, the turnstile sign is used by logicians for
denoting a consequence relation, related to a given logic,
between a collection of formulas and a derived formula.
date: 2008-08-24 14:43:48 +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:
