How to Install and Uninstall libsollya-dev Package on Kali Linux

Last updated: January 11,2025

1. Install "libsollya-dev" package

This guide covers the steps necessary to install libsollya-dev on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libsollya-dev
            
                    
    
    Copied

2. Uninstall "libsollya-dev" package

Please follow the guidance below to uninstall libsollya-dev on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libsollya-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libsollya-dev package on Kali Linux

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)
Size: 749360
SHA256: 4d4f30cd22724bf931ac77b340b8b3562cf262dd673a5aeb2695c746dc6b1e73
SHA1: 7e70adbfa53279fb72f41d567f85fcff0e68bea7
MD5sum: 4a28148354696c780c4f9458a3d24f7d
Description: library for safe floating-point code development -- libdev
Sollya is both a tool environment and a library for safe floating-point code
development. It offers a convenient way to perform computations with multiple
precision interval arithmetic. It is particularly targeted to the automated
implementation of mathematical floating-point libraries.
.
Initially, Sollya was intended more specifically for people implementing
numerical functions in mathematical libraries (e.g., exp, arccos, tanh, etc.).
Since then, the tool has evolved and has now become interesting not only to
developers of mathematical libraries, but also to everyone who needs to
perform numerical experiments in an environment that is safe with respect to
round-off errors.
.
This package provides the static library, symbolic links, and headers needed
for development.
Description-md5:
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