texlive-cmll-20100420-10-omv2015.0.noarch.rpm


Advertisement

Description

texlive-cmll - Symbols for linear logic

Property Value
Distribution OpenMandriva Lx 3.0
Repository OpenMandriva Main Release x86_64
Package name texlive-cmll
Package version 20100420
Package release 10-omv2015.0
Package architecture noarch
Package type rpm
Installed size 654.68 KB
Download size 433.32 KB
Official Mirror abf-downloads.openmandriva.org
This is a very small font set that contain some symbols useful
in linear logic, which are apparently not available elsewhere.
Variants are included for use with Computer Modern serif and
sans-serif and with the AMS Euler series. The font is provided
both as MetaFont source, and in Adobe Type 1 format. LaTeX
support is provided. format.

Alternatives

Package Version Architecture Repository
texlive-cmll-20100420-10-omv2015.0.noarch.rpm 20100420 noarch OpenMandriva Main Release
texlive-cmll - - -

Requires

Name Value
texlive-kpathsea -
texlive-tlpkg -

Provides

Name Value
texlive-cmll == 20100420-10:2015.0

Download

Type URL
Binary Package texlive-cmll-20100420-10-omv2015.0.noarch.rpm
Source Package texlive-cmll-20100420-10.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-cmll rpm package:
    # urpmi texlive-cmll

Files

Path
/usr/share/texmf-dist/doc/fonts/cmll/README
/usr/share/texmf-dist/doc/fonts/cmll/cmll.pdf
/usr/share/texmf-dist/fonts/map/dvips/cmll/cmll.map
/usr/share/texmf-dist/fonts/source/public/cmll/cmllbx10.mf
/usr/share/texmf-dist/fonts/source/public/cmll/cmllbx12.mf
/usr/share/texmf-dist/fonts/source/public/cmll/cmllbx5.mf
/usr/share/texmf-dist/fonts/source/public/cmll/cmllbx6.mf
/usr/share/texmf-dist/fonts/source/public/cmll/cmllbx7.mf
/usr/share/texmf-dist/fonts/source/public/cmll/cmllbx8.mf
/usr/share/texmf-dist/fonts/source/public/cmll/cmllbx9.mf
/usr/share/texmf-dist/fonts/source/public/cmll/cmllr10.mf
/usr/share/texmf-dist/fonts/source/public/cmll/cmllr12.mf
/usr/share/texmf-dist/fonts/source/public/cmll/cmllr17.mf
/usr/share/texmf-dist/fonts/source/public/cmll/cmllr5.mf
/usr/share/texmf-dist/fonts/source/public/cmll/cmllr6.mf
/usr/share/texmf-dist/fonts/source/public/cmll/cmllr7.mf
/usr/share/texmf-dist/fonts/source/public/cmll/cmllr8.mf
/usr/share/texmf-dist/fonts/source/public/cmll/cmllr9.mf
/usr/share/texmf-dist/fonts/source/public/cmll/cmllss10.mf
/usr/share/texmf-dist/fonts/source/public/cmll/cmllss12.mf
/usr/share/texmf-dist/fonts/source/public/cmll/cmllss17.mf
/usr/share/texmf-dist/fonts/source/public/cmll/cmllss8.mf
/usr/share/texmf-dist/fonts/source/public/cmll/cmllss9.mf
/usr/share/texmf-dist/fonts/source/public/cmll/cmllssbx10.mf
/usr/share/texmf-dist/fonts/source/public/cmll/eullbx10.mf
/usr/share/texmf-dist/fonts/source/public/cmll/eullbx5.mf
/usr/share/texmf-dist/fonts/source/public/cmll/eullbx6.mf
/usr/share/texmf-dist/fonts/source/public/cmll/eullbx7.mf
/usr/share/texmf-dist/fonts/source/public/cmll/eullbx8.mf
/usr/share/texmf-dist/fonts/source/public/cmll/eullbx9.mf
/usr/share/texmf-dist/fonts/source/public/cmll/eullr10.mf
/usr/share/texmf-dist/fonts/source/public/cmll/eullr5.mf
/usr/share/texmf-dist/fonts/source/public/cmll/eullr6.mf
/usr/share/texmf-dist/fonts/source/public/cmll/eullr7.mf
/usr/share/texmf-dist/fonts/source/public/cmll/eullr8.mf
/usr/share/texmf-dist/fonts/source/public/cmll/eullr9.mf
/usr/share/texmf-dist/fonts/source/public/cmll/llcommon.mf
/usr/share/texmf-dist/fonts/source/public/cmll/lleusym.mf
/usr/share/texmf-dist/fonts/source/public/cmll/llsymbols.mf
/usr/share/texmf-dist/fonts/tfm/public/cmll/cmllbx10.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/cmllbx12.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/cmllbx5.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/cmllbx6.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/cmllbx7.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/cmllbx8.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/cmllbx9.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/cmllr10.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/cmllr12.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/cmllr17.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/cmllr5.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/cmllr6.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/cmllr7.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/cmllr8.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/cmllr9.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/cmllss10.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/cmllss12.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/cmllss17.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/cmllss8.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/cmllss9.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/cmllssbx10.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/eullbx10.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/eullbx5.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/eullbx6.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/eullbx7.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/eullbx8.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/eullbx9.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/eullr10.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/eullr5.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/eullr6.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/eullr7.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/eullr8.tfm
/usr/share/texmf-dist/fonts/tfm/public/cmll/eullr9.tfm
/usr/share/texmf-dist/fonts/type1/public/cmll/cmllbx10.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/cmllbx12.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/cmllbx5.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/cmllbx6.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/cmllbx7.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/cmllbx8.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/cmllbx9.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/cmllr10.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/cmllr12.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/cmllr17.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/cmllr5.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/cmllr6.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/cmllr7.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/cmllr8.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/cmllr9.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/cmllss10.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/cmllss12.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/cmllss17.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/cmllss8.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/cmllss9.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/cmllssbx10.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/eullbx10.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/eullbx5.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/eullbx6.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/eullbx7.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/eullbx8.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/eullbx9.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/eullr10.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/eullr5.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/eullr6.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/eullr7.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/eullr8.pfb
/usr/share/texmf-dist/fonts/type1/public/cmll/eullr9.pfb
/usr/share/texmf-dist/source/latex/cmll/cmll.dtx
/usr/share/texmf-dist/source/latex/cmll/cmll.ins
/usr/share/texmf-dist/tex/latex/cmll/cmll.sty
/usr/share/texmf-dist/tex/latex/cmll/ucmllr.fd
/usr/share/texmf-dist/tex/latex/cmll/ucmllss.fd
/usr/share/texmf-dist/tex/latex/cmll/ueull.fd

See Also

Package Description
texlive-cmpica-20081115-10-omv2015.0.noarch.rpm A Computer Modern Pica variant
texlive-cmpj-2.05-4-omv2015.0.noarch.rpm Style for the journal Condensed Matter Physics
texlive-cmsd-20061218-10-omv2015.0.noarch.rpm Interfaces to the CM Sans Serif Bold fonts
texlive-cmtiup-1.3a-10-omv2015.0.noarch.rpm Upright punctuation with CM slanted
texlive-cnbwp-20140102-5-omv2015.0.noarch.rpm Typeset working papers of the Czech National Bank
texlive-cnltx-0.90-10-omv2015.0.noarch.rpm LaTeX tools and documenting facilities
texlive-cns-20111103-10-omv2015.0.noarch.rpm TeXLive cns package
texlive-codedoc-0.3-10-omv2015.0.noarch.rpm LaTeX code and documentation in LaTeX-format file
texlive-codepage-20110118-10-omv2015.0.noarch.rpm Support for variant code pages
texlive-codicefiscaleitaliano-1.2-9-omv2015.0.noarch.rpm Test the consistency of the Italian personal Fiscal Code
texlive-collcell-0.5-10-omv2015.0.noarch.rpm Collect contents of a tabular cell as argument to a macro
texlive-collectbox-20120807-9-omv2015.0.noarch.rpm TeXLive collectbox package
texlive-collection-basic-20140318-5-omv2015.0.noarch.rpm Essential programs and files
texlive-collection-bibtexextra-20140621-4-omv2015.0.noarch.rpm BibTeX additional styles
texlive-collection-binextra-20140318-5-omv2015.0.noarch.rpm TeX auxiliary programs
Advertisement
Advertisement