texlive-grundgesetze-1.01-4-omv2015.0.noarch.rpm


Advertisement

Description

texlive-grundgesetze - Typeset Frege's Grundgesetze der Arithmetik

Property Value
Distribution OpenMandriva Lx 3.0
Repository OpenMandriva Main Release i586
Package filename texlive-grundgesetze-1.01-4-omv2015.0.noarch.rpm
Package name texlive-grundgesetze
Package version 1.01
Package release 4-omv2015.0
Package architecture noarch
Package type rpm
Category Publishing
Homepage http://www.ctan.org/tex-archive/macros/latex/contrib/grundgesetze
License GPL2
Maintainer -
Download size 246.87 KB
Installed size 278.40 KB
The package defines maths mode commands for typesetting Gottlob
Frege's concept-script in the style of his "Grundgesetze der
Arithmetik" (Basic Laws of Arithmetic).

Alternatives

Package Version Architecture Repository
texlive-grundgesetze-1.01-4-omv2015.0.noarch.rpm 1.01 noarch OpenMandriva Main Release
texlive-grundgesetze - - -

Requires

Name Value
texlive-kpathsea -
texlive-tlpkg -

Provides

Name Value
texlive-grundgesetze == 1.01-4:2015.0

Download

Type URL
Mirror abf-downloads.openmandriva.org
Binary Package texlive-grundgesetze-1.01-4-omv2015.0.noarch.rpm
Source Package texlive-grundgesetze-1.01-4.src.rpm

Install Howto

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

Files

Path
/usr/share/texmf-dist/doc/latex/grundgesetze/README
/usr/share/texmf-dist/doc/latex/grundgesetze/grundgesetze.pdf
/usr/share/texmf-dist/source/latex/grundgesetze/grundgesetze.dtx
/usr/share/texmf-dist/source/latex/grundgesetze/grundgesetze.ins
/usr/share/texmf-dist/tex/latex/grundgesetze/grundgesetze.sty

See Also

Package Description
texlive-grverb-1.0-10-omv2015.0.noarch.rpm Typesetting Greek verbatim
texlive-gsftopk-1.19.2-13-omv2015.0.noarch.rpm Convert "ghostscript fonts" to PK files
texlive-gsftopk.bin-20150521-1-omv2015.0.i586.rpm binary files of gsftopk
texlive-gsftopk.bin-20160523-3-omv2015.0.i586.rpm binary files of gsftopk
texlive-gtl-20131014-9-omv2015.0.noarch.rpm TeXLive gtl package
texlive-gtrcrd-1.1-5-omv2015.0.noarch.rpm Add chords to lyrics
texlive-gu-20080821-10-omv2015.0.noarch.rpm Typeset crystallographic group-subgroup-schemes
texlive-guide-to-latex-20111103-10-omv2015.0.noarch.rpm TeXLive guide-to-latex package
texlive-guitar-1.6-11-omv2015.0.noarch.rpm Guitar chords and song texts
texlive-guitarchordschemes-0.4-9-omv2015.0.noarch.rpm Guitar Chord and Scale Tablatures
texlive-guitlogo-0.9.2-10-omv2015.0.noarch.rpm Macros for typesetting the GuIT logo
texlive-gustlib-20070121-10-omv2015.0.noarch.rpm Polish oriented macros
texlive-gustprog-20111103-10-omv2015.0.noarch.rpm TeXLive gustprog package
texlive-hacm-0.1-10-omv2015.0.noarch.rpm Font support for the Arka language
texlive-handout-1.0.0-4-omv2015.0.noarch.rpm Create handout for auditors of a talk
Advertisement
Advertisement