Package: texlive-cmll (2025.221.svn17964-160000.3.1)
Symbols for linear logic
Other Packages Related to texlive-cmll:
dep: /bin/sh
Package not available
dep: /bin/sh
Package not available
dep: /bin/sh
Package not available
dep: [coreutils]
GNU Core Utilities
dep: [coreutils]
GNU Core Utilities
dep: [coreutils]
GNU Core Utilities
dep: [ed]
A line-oriented text editor
dep: [findutils]
The GNU versions of find utilities (find and xargs)
dep: [findutils]
The GNU versions of find utilities (find and xargs)
dep: [findutils]
The GNU versions of find utilities (find and xargs)
dep: [grep]
Print lines matching a pattern
dep: [grep]
Print lines matching a pattern
dep: [grep]
Print lines matching a pattern
dep: [sed]
A Stream-Oriented Non-Interactive Text Editor
dep: [sed]
A Stream-Oriented Non-Interactive Text Editor
dep: [sed]
A Stream-Oriented Non-Interactive Text Editor
dep: tex(graphicx.sty)
Package not available
dep: tex(ifthen.sty)
Package not available
dep: tex(relsize.sty)
Package not available
dep: tex(updmap.cfg)
Package not available
dep: tex(updmap.cfg)
Package not available
dep: [texlive] (>= 2025)
The TeXLive Formatting System
dep: [texlive] (>= 2025)
The TeXLive Formatting System
dep: [texlive] (>= 2025)
The TeXLive Formatting System
dep: [texlive-cmll-fonts] (>= 2025)
Severed fonts for texlive-cmll
dep: [texlive-filesystem] (>= 2025)
Basic file system of TeX Live
dep: [texlive-filesystem] (>= 2025)
Basic file system of TeX Live
dep: [texlive-filesystem] (>= 2025)
Basic file system of TeX Live
dep: [texlive-kpathsea] (>= 2025)
Path searching library for TeX-related files
dep: [texlive-kpathsea-bin] (>= 2025)
Binary files of kpathsea
dep: [texlive-scripts] (>= 2025)
TeX Live infrastructure programs
dep: [texlive-scripts-bin] (>= 2025)
Binary files of texlive-scripts
sug: [texlive-cmll-doc] (>= 2025)
Documentation for texlive-cmll
Download texlive-cmll
| Architecture | Package size | Installed size | Files | Package |
|---|---|---|---|---|
| noarch | 80 KiB | 160 KiB | list of files | Download |
Package file paths (107)
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/texmf/fonts/map/dvips/cmll/cmll.map
- /usr/share/texmf/fonts/source/public/cmll/cmllbx10.mf
- /usr/share/texmf/fonts/source/public/cmll/cmllbx12.mf
- /usr/share/texmf/fonts/source/public/cmll/cmllbx5.mf
- /usr/share/texmf/fonts/source/public/cmll/cmllbx6.mf
- /usr/share/texmf/fonts/source/public/cmll/cmllbx7.mf
- /usr/share/texmf/fonts/source/public/cmll/cmllbx8.mf
- /usr/share/texmf/fonts/source/public/cmll/cmllbx9.mf
- /usr/share/texmf/fonts/source/public/cmll/cmllr10.mf
- /usr/share/texmf/fonts/source/public/cmll/cmllr12.mf
- /usr/share/texmf/fonts/source/public/cmll/cmllr17.mf
- /usr/share/texmf/fonts/source/public/cmll/cmllr5.mf
- /usr/share/texmf/fonts/source/public/cmll/cmllr6.mf
- /usr/share/texmf/fonts/source/public/cmll/cmllr7.mf
- /usr/share/texmf/fonts/source/public/cmll/cmllr8.mf
- /usr/share/texmf/fonts/source/public/cmll/cmllr9.mf
- /usr/share/texmf/fonts/source/public/cmll/cmllss10.mf
- /usr/share/texmf/fonts/source/public/cmll/cmllss12.mf
- /usr/share/texmf/fonts/source/public/cmll/cmllss17.mf
- /usr/share/texmf/fonts/source/public/cmll/cmllss8.mf
- /usr/share/texmf/fonts/source/public/cmll/cmllss9.mf
- /usr/share/texmf/fonts/source/public/cmll/cmllssbx10.mf
- /usr/share/texmf/fonts/source/public/cmll/eullbx10.mf
- /usr/share/texmf/fonts/source/public/cmll/eullbx5.mf
- /usr/share/texmf/fonts/source/public/cmll/eullbx6.mf
- /usr/share/texmf/fonts/source/public/cmll/eullbx7.mf
- /usr/share/texmf/fonts/source/public/cmll/eullbx8.mf
- /usr/share/texmf/fonts/source/public/cmll/eullbx9.mf
- /usr/share/texmf/fonts/source/public/cmll/eullr10.mf
- /usr/share/texmf/fonts/source/public/cmll/eullr5.mf
- /usr/share/texmf/fonts/source/public/cmll/eullr6.mf
- /usr/share/texmf/fonts/source/public/cmll/eullr7.mf
- /usr/share/texmf/fonts/source/public/cmll/eullr8.mf
- /usr/share/texmf/fonts/source/public/cmll/eullr9.mf
- /usr/share/texmf/fonts/source/public/cmll/llcommon.mf
- /usr/share/texmf/fonts/source/public/cmll/lleusym.mf
- /usr/share/texmf/fonts/source/public/cmll/llsymbols.mf
- /usr/share/texmf/fonts/tfm/public/cmll/cmllbx10.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/cmllbx12.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/cmllbx5.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/cmllbx6.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/cmllbx7.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/cmllbx8.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/cmllbx9.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/cmllr10.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/cmllr12.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/cmllr17.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/cmllr5.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/cmllr6.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/cmllr7.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/cmllr8.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/cmllr9.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/cmllss10.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/cmllss12.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/cmllss17.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/cmllss8.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/cmllss9.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/cmllssbx10.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/eullbx10.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/eullbx5.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/eullbx6.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/eullbx7.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/eullbx8.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/eullbx9.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/eullr10.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/eullr5.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/eullr6.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/eullr7.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/eullr8.tfm
- /usr/share/texmf/fonts/tfm/public/cmll/eullr9.tfm
- /usr/share/texmf/fonts/type1/public/cmll/cmllbx10.pfb
- /usr/share/texmf/fonts/type1/public/cmll/cmllbx12.pfb
- /usr/share/texmf/fonts/type1/public/cmll/cmllbx5.pfb
- /usr/share/texmf/fonts/type1/public/cmll/cmllbx6.pfb
- /usr/share/texmf/fonts/type1/public/cmll/cmllbx7.pfb
- /usr/share/texmf/fonts/type1/public/cmll/cmllbx8.pfb
- /usr/share/texmf/fonts/type1/public/cmll/cmllbx9.pfb
- /usr/share/texmf/fonts/type1/public/cmll/cmllr10.pfb
- /usr/share/texmf/fonts/type1/public/cmll/cmllr12.pfb
- /usr/share/texmf/fonts/type1/public/cmll/cmllr17.pfb
- /usr/share/texmf/fonts/type1/public/cmll/cmllr5.pfb
- /usr/share/texmf/fonts/type1/public/cmll/cmllr6.pfb
- /usr/share/texmf/fonts/type1/public/cmll/cmllr7.pfb
- /usr/share/texmf/fonts/type1/public/cmll/cmllr8.pfb
- /usr/share/texmf/fonts/type1/public/cmll/cmllr9.pfb
- /usr/share/texmf/fonts/type1/public/cmll/cmllss10.pfb
- /usr/share/texmf/fonts/type1/public/cmll/cmllss12.pfb
- /usr/share/texmf/fonts/type1/public/cmll/cmllss17.pfb
- /usr/share/texmf/fonts/type1/public/cmll/cmllss8.pfb
- /usr/share/texmf/fonts/type1/public/cmll/cmllss9.pfb
- /usr/share/texmf/fonts/type1/public/cmll/cmllssbx10.pfb
- /usr/share/texmf/fonts/type1/public/cmll/eullbx10.pfb
- /usr/share/texmf/fonts/type1/public/cmll/eullbx5.pfb
- /usr/share/texmf/fonts/type1/public/cmll/eullbx6.pfb
- /usr/share/texmf/fonts/type1/public/cmll/eullbx7.pfb
- /usr/share/texmf/fonts/type1/public/cmll/eullbx8.pfb
- /usr/share/texmf/fonts/type1/public/cmll/eullbx9.pfb
- /usr/share/texmf/fonts/type1/public/cmll/eullr10.pfb
- /usr/share/texmf/fonts/type1/public/cmll/eullr5.pfb
- /usr/share/texmf/fonts/type1/public/cmll/eullr6.pfb
- /usr/share/texmf/fonts/type1/public/cmll/eullr7.pfb
- /usr/share/texmf/fonts/type1/public/cmll/eullr8.pfb
- /usr/share/texmf/fonts/type1/public/cmll/eullr9.pfb
- /usr/share/texmf/tex/latex/cmll/cmll.sty
- /usr/share/texmf/tex/latex/cmll/ucmllr.fd
- /usr/share/texmf/tex/latex/cmll/ucmllss.fd
- /usr/share/texmf/tex/latex/cmll/ueull.fd
Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c
