How To Install mathpartir on Debian 9

In this tutorial we learn how to install mathpartir on Debian 9. mathpartir is LaTeX macros for typesetting inference rules

Introduction

In this tutorial we learn how to install mathpartir on Debian 9.

What is mathpartir

mathpartir is:

This package contains LaTeX macros for

  • typesetting a sequence of math formulas in mixed horizontal and vertical mode
  • typesetting inference rules

There are three methods to install mathpartir on Debian 9. We can use apt-get, apt and aptitude. In the following sections we will describe each method. You can choose one of them.

Install mathpartir Using apt-get

Update apt database with apt-get using the following command.

sudo apt-get update

After updating apt database, We can install mathpartir using apt-get by running the following command:

sudo apt-get -y install mathpartir

Install mathpartir Using apt

Update apt database with apt using the following command.

sudo apt update

After updating apt database, We can install mathpartir using apt by running the following command:

sudo apt -y install mathpartir

Install mathpartir Using aptitude

If you want to follow this method, you might need to install aptitude first since aptitude is usually not installed by default on Debian. Update apt database with aptitude using the following command.

sudo aptitude update

After updating apt database, We can install mathpartir using aptitude by running the following command:

sudo aptitude -y install mathpartir

How To Uninstall mathpartir on Debian 9

To uninstall only the mathpartir package we can use the following command:

sudo apt-get remove mathpartir

Uninstall mathpartir And Its Dependencies

To uninstall mathpartir and its dependencies that are no longer needed by Debian 9, we can use the command below:

sudo apt-get -y autoremove mathpartir

Remove mathpartir Configurations and Data

To remove mathpartir configuration and data from Debian 9 we can use the following command:

sudo apt-get -y purge mathpartir

Remove mathpartir configuration, data, and all of its dependencies

We can use the following command to remove mathpartir configurations, data and all of its dependencies, we can use the following command:

sudo apt-get -y autoremove --purge mathpartir

Dependencies

mathpartir have the following dependencies:

References

Summary

In this tutorial we learn how to install mathpartir package on Debian 9 using different package management tools: apt, apt-get and aptitude.