How to Install and Uninstall libmpfi-dev Package on Debian 10 (Buster)

Last updated: May 08,2024

1. Install "libmpfi-dev" package

This guide let you learn how to install libmpfi-dev on Debian 10 (Buster)

$ sudo apt update $ sudo apt install libmpfi-dev

2. Uninstall "libmpfi-dev" package

Please follow the guidelines below to uninstall libmpfi-dev on Debian 10 (Buster):

$ sudo apt remove libmpfi-dev $ sudo apt autoclean && sudo apt autoremove

3. Information about the libmpfi-dev package on Debian 10 (Buster)

Package: libmpfi-dev
Source: mpfi
Version: 1.5.3+ds-2
Installed-Size: 307
Maintainer: Debian Science Maintainers
Architecture: amd64
Replaces: libmpfi0-dev (<< 1.5.1+ds-3)
Depends: libmpfi0 (= 1.5.3+ds-2), libmpfi-dev-common (= 1.5.3+ds-2), libmpfr-dev, libgmp-dev
Conflicts: libmpfi-dev (<< 1.5.1+ds-3), libmpfi0-dev (<< 1.5.1+ds-3)
Description: multiple precision floating-point interval computation library -- libdev
Description-md5: b4a9e72e03e8fe69b6be2cb690144e91
Multi-Arch: same
Homepage: http://mpfi.gforge.inria.fr/
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/m/mpfi/libmpfi-dev_1.5.3+ds-2_amd64.deb
Size: 31476
MD5sum: e2f5275a4ac92ec3ce554ac33620daf8
SHA256: 4b026df576ae88bbc184e28db281afc6bd8f0a483ec15c9e391b3a3d52aaaa36