How To Install texlive-cmll on Fedora 36
In this tutorial we learn how to install texlive-cmll in Fedora 36. texlive-cmll is Symbols for linear logic
Introduction
In this tutorial we learn how to install texlive-cmll on Fedora 36.
What is texlive-cmll
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.
We can use yum or dnf to install texlive-cmll on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install texlive-cmll.
Install texlive-cmll on Fedora 36 Using dnf
Update yum database with dnf using the following command.
sudo dnf makecache --refresh
After updating yum database, We can install texlive-cmll using dnf by running the following command:
sudo dnf -y install texlive-cmll
Install texlive-cmll on Fedora 36 Using yum
Update yum database with yum using the following command.
sudo yum makecache --refresh
After updating yum database, We can install texlive-cmll using yum by running the following command:
sudo yum -y install texlive-cmll
How To Uninstall texlive-cmll on Fedora 36
To uninstall only the texlive-cmll package we can use the following command:
sudo dnf remove texlive-cmll
texlive-cmll Package Contents on Fedora 36
/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
References
Summary
In this tutorial we learn how to install texlive-cmll on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
