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

Last updated: February 02,2025

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

MX Linux 23
SparkyLinux

1. Install "libsollya-dev" package

Here is a brief guide to show you how to install libsollya-dev on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libsollya-dev
            
                    
    
    Copied

2. Uninstall "libsollya-dev" package

This guide covers the steps necessary to uninstall libsollya-dev on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libsollya-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libsollya-dev
Source: sollya (8.0+ds-2)
Version: 8.0+ds-2+b1
Installed-Size: 4288
Maintainer: Debian Math Team
Architecture: amd64
Depends: libsollya8 (= 8.0+ds-2+b1), libgmp-dev, libmpfr-dev, libmpfi-dev, libfplll-dev, libxml2-dev
Suggests: sollya-doc (= 8.0+ds-2)
Enhances: sollya (= 8.0+ds-2+b1)
Description: library for safe floating-point code development -- libdev
Description-md5: 2a7413a16437d6ed9316c2f9b77d38bd
Multi-Arch: same
Homepage: https://www.sollya.org/
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/s/sollya/libsollya-dev_8.0+ds-2+b1_amd64.deb
Size: 749360
MD5sum: 4a28148354696c780c4f9458a3d24f7d
SHA256: 4d4f30cd22724bf931ac77b340b8b3562cf262dd673a5aeb2695c746dc6b1e73