How To Install libmpfr-dev on Debian 9

In this tutorial we learn how to install libmpfr-dev on Debian 9. libmpfr-dev is multiple precision floating-point computation developers tools

Introduction

In this tutorial we learn how to install libmpfr-dev on Debian 9.

What is libmpfr-dev

libmpfr-dev is:

This development package provides the header files and the symbolic links to allow compilation and linking of programs that use the libraries provided in the libmpfr4 package.

MPFR provides a library for multiple-precision floating-point computation with correct rounding. The computation is both efficient and has a well-defined semantics. It copies the good ideas from the ANSI/IEEE-754 standard for double-precision floating-point arithmetic (53-bit mantissa).

There are three methods to install libmpfr-dev 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 libmpfr-dev Using apt-get

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

sudo apt-get update

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

sudo apt-get -y install libmpfr-dev

Install libmpfr-dev Using apt

Update apt database with apt using the following command.

sudo apt update

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

sudo apt -y install libmpfr-dev

Install libmpfr-dev 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 libmpfr-dev using aptitude by running the following command:

sudo aptitude -y install libmpfr-dev

How To Uninstall libmpfr-dev on Debian 9

To uninstall only the libmpfr-dev package we can use the following command:

sudo apt-get remove libmpfr-dev

Uninstall libmpfr-dev And Its Dependencies

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

sudo apt-get -y autoremove libmpfr-dev

Remove libmpfr-dev Configurations and Data

To remove libmpfr-dev configuration and data from Debian 9 we can use the following command:

sudo apt-get -y purge libmpfr-dev

Remove libmpfr-dev configuration, data, and all of its dependencies

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

sudo apt-get -y autoremove --purge libmpfr-dev

Dependencies

libmpfr-dev have the following dependencies:

References

Summary

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