How to Install and Uninstall libsollya-dev Package on Ubuntu 20.04 LTS (Focal Fossa)

Last updated: April 20,2024

1. Install "libsollya-dev" package

Please follow the guidance below to install libsollya-dev on Ubuntu 20.04 LTS (Focal Fossa)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libsollya-dev
            
                    
    
    Copied

2. Uninstall "libsollya-dev" package

Learn how to uninstall libsollya-dev on Ubuntu 20.04 LTS (Focal Fossa):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libsollya-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libsollya-dev package on Ubuntu 20.04 LTS (Focal Fossa)

Package: libsollya-dev
Architecture: amd64
Version: 7.0+ds-3build1
Multi-Arch: same
Priority: optional
Section: universe/libdevel
Source: sollya
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 4299
Depends: libsollya7 (= 7.0+ds-3build1), libgmp-dev, libmpfr-dev, libmpfi-dev, libfplll-dev, libxml2-dev
Suggests: sollya-doc (= 7.0+ds-3build1)
Enhances: sollya (= 7.0+ds-3build1)
Filename: pool/universe/s/sollya/libsollya-dev_7.0+ds-3build1_amd64.deb
Size: 711164
MD5sum: cdd8d4e7ad7cd02acfb6c7f9c9707614
SHA1: f554509395775d01b53448a7874bea23fd14c558
SHA256: a501d5dee34015fe891ff11cc3cf88eae4b18818a3c392c123710dee784ef6e3
Homepage: http://sollya.gforge.inria.fr/
Description: library for safe floating-point code development -- libdev
Description-md5: 2a7413a16437d6ed9316c2f9b77d38bd