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

Last updated: May 08,2024

1. Install "libsollya-dev" package

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

$ sudo apt update $ sudo apt install libsollya-dev

2. Uninstall "libsollya-dev" package

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

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

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