Linux workstation

Fedora 43 native package

texlive-cmll

Symbols for linear logic

Packages / Fedora 43 / Unspecified / texlive-cmll

[Source: texlive]

Package: texlive-cmll (11:svn17964.0-80.fc43)

External Resources:

Homepage: [tug.org]

Similar packages:

Symbols for linear logic

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.

Other Packages Related to texlive-cmll:

  • dep: tex(graphicx.sty)

    Package not available

  • dep: tex(ifthen.sty)

    Package not available

  • dep: tex(relsize.sty)

    Package not available

  • dep: tex-kpathsea

    Package not available

  • dep: [texlive-base]

    TeX formatting system

  • dep: texlive-kpathsea-bin

    Package not available

Download texlive-cmll

ArchitecturePackage SizeInstalled SizeFiles
noarch365 KiB543 KiB[list of files]

Paketdateipfade (114)

Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.

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

Field source: Fedora 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2

Dieses Paket verwenden

OpenFactory kann dieses Betriebssystem in einer Browser-VM starten oder einen Image-Build mit dem nativen Paketnamen aus diesem Datensatz beginnen.

Versionen, Suiten und Repositories

Jede Zeile ist Paketindex-Metadaten für eine Version, Architektur, Suite und ein Repository. Namen, URLs und Größen stammen aus der Quelle; ein Link ist ein veränderbarer Abrufort, kein Weitergabanspruch von OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
11:svn17964.0-80.fc4343 / everythingnoarchFedora 43 · Everything · x86_64365 KiB543 KiBPackages/t/texlive-cmll-svn17964.0-80.fc43.noarch.rpm
11:svn17964.0-80.fc4343 / everythingnoarchFedora 43 · Everything · aarch64365 KiB543 KiBPackages/t/texlive-cmll-svn17964.0-80.fc43.noarch.rpm

Field source: Fedora 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2

Prüfsummen und Beobachtungsdaten

For an APT source, signature verification authenticates the repository metadata chain and the Packages index containing this source-reported artifact digest. It does not certify package safety.

11:svn17964.0-80.fc43 / noarchObserved Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha256: 8526eff21350519f902774053622e48ffa934c112b6ac26fa8ec54d4b013b56a

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s %s\n' '8526eff21350519f902774053622e48ffa934c112b6ac26fa8ec54d4b013b56a' 'texlive-cmll-svn17964.0-80.fc43.noarch.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2

11:svn17964.0-80.fc43 / noarchObserved Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha256: 8526eff21350519f902774053622e48ffa934c112b6ac26fa8ec54d4b013b56a

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s %s\n' '8526eff21350519f902774053622e48ffa934c112b6ac26fa8ec54d4b013b56a' 'texlive-cmll-svn17964.0-80.fc43.noarch.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 43 Everything aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2

Vollständigkeit des Katalogsatzes

The completeness score measures metadata coverage, not software quality, security, compatibility, or suitability.

Summary and description
25/25
Artifact path and source digest
25/25
Dependency metadata
15/15
Package-file index
15/15
Homepage
5/5
License text
5/5
Source package or maintainer
10/10

Recorded total: 100/100

Field source: Fedora 43 Everything aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2, Fedora 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Quellen und Herkunft

Field-source links above resolve here. Each source entry names the metadata publisher, trust tier, exact snapshot revision, signature result, and observation time; catalog-derived mappings are labeled separately.

  • Authoritative source; repository metadata signature verified, revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2

    Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.

    Repository-signature verification record
    Signed-object SHA-256
    6c2a7b7225a6bd12acd5c95dcd0350a0a5929e195692ff68eb31db0ee6b9897b
    Signer fingerprint
    Not recorded
    Keyring revision
    RPM-GPG-KEY-fedora-43-primary
    SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
    Tool and policy
    1
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
    Signed Release → package-index hash linkage

    Path: Not recorded
    Expected SHA-256: Not recorded
    Observed SHA-256: Not recorded
    Result: match verified

  • Authoritative source; repository metadata signature verified, revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2

    Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.

    Repository-signature verification record
    Signed-object SHA-256
    42c0002750de6066124693fff143f4854c1e29474d893f7e6a7616012d41338f
    Signer fingerprint
    Not recorded
    Keyring revision
    RPM-GPG-KEY-fedora-43-primary
    SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
    Tool and policy
    1
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
    Signed Release → package-index hash linkage

    Path: Not recorded
    Expected SHA-256: Not recorded
    Observed SHA-256: Not recorded
    Result: match verified

texlive-cmll Package for Fedora 43 | OpenFactory