texlive-gene-logic-1.4-3-rosa2014.1.noarch.rpm


Advertisement

Description

texlive-gene-logic - Typeset logic formulae, etc

Property Value
Distribution ROSA 2014.1
Repository ROSA Main x86_64
Package filename texlive-gene-logic-1.4-3-rosa2014.1.noarch.rpm
Package name texlive-gene-logic
Package version 1.4
Package release 3-rosa2014.1
Package architecture noarch
Package type rpm
Category Publishing
Homepage http://www.ctan.org/tex-archive/macros/latex/contrib/gene/logic
License OTHER-FREE
Maintainer -
Download size 70.35 KB
Installed size 107.96 KB
The package provides a facility to typeset certain logic
formulae. It provides an environment like eqnarray, an extended
newtheorem environment, and several macros.

Alternatives

Package Version Architecture Repository
texlive-gene-logic-1.4-4-rosa2014.1.noarch.rpm 1.4 noarch ROSA Main Updates
texlive-gene-logic-1.4-4-rosa2014.1.noarch.rpm 1.4 noarch ROSA Main Updates
texlive-gene-logic-1.4-3-rosa2014.1.noarch.rpm 1.4 noarch ROSA Main
texlive-gene-logic - - -

Requires

Name Value
texlive-kpathsea -
texlive-tlpkg -

Provides

Name Value
texlive-gene-logic == 1.4-3:2014.1

Download

Type URL
Mirror mirror.rosalab.ru
Binary Package texlive-gene-logic-1.4-3-rosa2014.1.noarch.rpm
Source Package texlive-gene-logic-1.4-3.src.rpm

Install Howto

  1. Enable ROSA Main repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install texlive-gene-logic rpm package:
    # urpmi texlive-gene-logic

Files

Path
/usr/share/texmf-dist/doc/latex/gene-logic/gn-logic14.pdf
/usr/share/texmf-dist/doc/latex/gene-logic/gn-logic14.tex
/usr/share/texmf-dist/tex/latex/gene-logic/gn-logic14.sty

Changelog

2014-06-27 - Alex Burmashev <alex.burmashev@rosalab.ru> 1.4-3
+ Revision: 0809aa4
- MassBuild#440: Increase release tag

See Also

Package Description
texlive-genealogy-20110410-2-rosa2014.1.noarch.rpm A compilation genealogy font
texlive-genmisc-20120807-2-rosa2014.1.noarch.rpm TeXLive genmisc package
texlive-genmpage-0.3.1-3-rosa2014.1.noarch.rpm Generalization of LaTeX's minipages
texlive-gentium-20101009-3-rosa2014.1.noarch.rpm Gentium font and support files
texlive-gentium-tug-1.0-6-rosa2014.1.noarch.rpm Gentium fonts (in two formats) and support files
texlive-gentle-20090104-3-rosa2014.1.noarch.rpm A Gentle Introduction to TeX
texlive-geometry-5.6-3-rosa2014.1.noarch.rpm Flexible and complete interface to document dimensions
texlive-geometry-de-1.1-3-rosa2014.1.noarch.rpm German translation of the geometry package
texlive-german-2.5e-3-rosa2014.1.noarch.rpm Support for German typography
texlive-germbib-20090104-3-rosa2014.1.noarch.rpm German variants of standard BibTeX styles
texlive-germkorr-1.0-3-rosa2014.1.noarch.rpm Change kerning for german quotation marks
texlive-geschichtsfrkl-1.1-2-rosa2014.1.noarch.rpm BibLaTeX style for historians
texlive-getfiledate-1.2-3-rosa2014.1.noarch.rpm Find the date of last modification of a file
texlive-getoptk-1.0-3-rosa2014.1.noarch.rpm Define macros with sophisticated options
texlive-gfsartemisia-1.0-3-rosa2014.1.noarch.rpm A modern Greek font design
Advertisement
Advertisement