How To Install texlive-tex-ewd on Fedora 36

In this tutorial we learn how to install texlive-tex-ewd in Fedora 36. texlive-tex-ewd is Macros to typeset calculational proofs and programs in Dijkstra’s style

Introduction

In this tutorial we learn how to install texlive-tex-ewd on Fedora 36.

What is texlive-tex-ewd

Edsger W. Dijkstra and others suggest a unique style to present mathematical proofs and to construct programs. This package provides macros that support calculational proofs and Dijkstra’s “guarded command language”.

We can use yum or dnf to install texlive-tex-ewd on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install texlive-tex-ewd.

Install texlive-tex-ewd 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-tex-ewd using dnf by running the following command:

sudo dnf -y install texlive-tex-ewd

Install texlive-tex-ewd 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-tex-ewd using yum by running the following command:

sudo yum -y install texlive-tex-ewd

How To Uninstall texlive-tex-ewd on Fedora 36

To uninstall only the texlive-tex-ewd package we can use the following command:

sudo dnf remove texlive-tex-ewd

texlive-tex-ewd Package Contents on Fedora 36

/usr/share/licenses/texlive-tex-ewd
/usr/share/licenses/texlive-tex-ewd/bsd.txt
/usr/share/texlive/texmf-dist/tex/generic/tex-ewd
/usr/share/texlive/texmf-dist/tex/generic/tex-ewd/dotnot.tex

References

Summary

In this tutorial we learn how to install texlive-tex-ewd on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).