Install libmpfi0-dev
Installing libmpfi0-dev package on Debian Unstable (Sid) is as easy as running the following command on terminal:
sudo apt-get update sudo apt-get install libmpfi0-dev
libmpfi0-dev package information
distro | Debian Unstable (Sid) |
---|---|
section | Main |
name | libmpfi0-dev |
version | 1.5.1+ds-2 |
description | multiple precision floating-point interval computation library — libdev |
subsection | libdevel |
website | mpfi.gforge.inria.fr |
maintainer | Debian Science Maintainers |
Uninstall libmpfi0-dev
To remove just libmpfi0-dev package itself from Debian Unstable (Sid) execute on terminal:
sudo apt-get remove libmpfi0-dev
Uninstall libmpfi0-dev and it’s dependent packages
To remove the libmpfi0-dev package and any other dependant package which are no longer needed from Debian Sid.
sudo apt-get remove --auto-remove libmpfi0-dev
Purging libmpfi0-dev
If you also want to delete configuration and/or data files of libmpfi0-dev from Debian Sid then this will work:
sudo apt-get purge libmpfi0-dev
To delete configuration and/or data files of libmpfi0-dev and it’s dependencies from Debian Sid then execute:
sudo apt-get purge --auto-remove libmpfi0-dev