How to Install and Uninstall texlive-natded Package on openSuSE Tumbleweed

Last updated: May 18,2024

1. Install "texlive-natded" package

Please follow the guidance below to install texlive-natded on openSuSE Tumbleweed

$ sudo zypper refresh $ sudo zypper install texlive-natded

2. Uninstall "texlive-natded" package

This is a short guide on how to uninstall texlive-natded on openSuSE Tumbleweed:

$ sudo zypper remove texlive-natded

3. Information about the texlive-natded package on openSuSE Tumbleweed

Information for package texlive-natded:
---------------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : texlive-natded
Version : 2023.209.0.0.1svn32693-55.2
Arch : noarch
Vendor : openSUSE
Installed Size : 14.8 KiB
Installed : No
Status : not installed
Source package : texlive-specs-q-2023-55.2.src
Upstream URL : https://www.tug.org/texlive/
Summary : Typeset natural deduction proofs
Description :
The package provides commands to typeset proofs in the style
used by Jaskowski, or that of Kalish and Montague.

5. The same packages on other Linux Distributions