How to Install and Uninstall libmpfi-dev Package on Debian 12 (Bookworm)

Last updated: May 08,2024

You can also install and uninstall the libmpfi-dev on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "libmpfi-dev" package

Learn how to install libmpfi-dev on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libmpfi-dev
            
                    
    
    Copied

2. Uninstall "libmpfi-dev" package

In this section, we are going to explain the necessary steps to uninstall libmpfi-dev on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libmpfi-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libmpfi-dev package on Debian 12 (Bookworm)

Package: libmpfi-dev
Source: mpfi (1.5.3+ds-6)
Version: 1.5.3+ds-6+b1
Installed-Size: 288
Maintainer: Debian Science Maintainers
Architecture: amd64
Replaces: libmpfi0-dev (<< 1.5.1+ds-3)
Depends: libmpfi0 (= 1.5.3+ds-6+b1), libmpfi-dev-common (= 1.5.3+ds-6), 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: https://gitlab.inria.fr/mpfi/mpfi
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/m/mpfi/libmpfi-dev_1.5.3+ds-6+b1_amd64.deb
Size: 31168
MD5sum: 7756ab1468aad5a90c33870a000dd33c
SHA256: 737728501932ac7ac0e62ffeee1e93bbcacc6bb8c22da62474446e8f4d5356dd