How to Install and Uninstall libsollya7 Package on Ubuntu 21.10 (Impish Indri)

Last updated: April 27,2024

1. Install "libsollya7" package

Please follow the instructions below to install libsollya7 on Ubuntu 21.10 (Impish Indri)

$ sudo apt update $ sudo apt install libsollya7

2. Uninstall "libsollya7" package

This tutorial shows how to uninstall libsollya7 on Ubuntu 21.10 (Impish Indri):

$ sudo apt remove libsollya7 $ sudo apt autoclean && sudo apt autoremove

3. Information about the libsollya7 package on Ubuntu 21.10 (Impish Indri)

Package: libsollya7
Architecture: amd64
Version: 7.0+ds-3build2
Multi-Arch: same
Priority: optional
Section: universe/libs
Source: sollya
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2390
Provides: libsollya
Depends: libc6 (>= 2.17), libfplll7 (>= 5.4.0), libgcc-s1 (>= 3.0), libgmp10, libmpfi0 (>= 1.5.1), libmpfr6 (>= 3.1.3), libstdc++6 (>= 4.1.1), libxml2 (>= 2.7.4)
Conflicts: libsollya
Filename: pool/universe/s/sollya/libsollya7_7.0+ds-3build2_amd64.deb
Size: 654508
MD5sum: 25c09fb1361bfc7dfcc72df3befc1df0
SHA1: 0e4e297bec0d681d820500f0953041831e60310f
SHA256: 3e5a6d25e0d4d1311628364dc75927cbe19ddb40111578c54635ce22ae005da1
SHA512: 2867d230f57d1df98d14f541da9cb0f7f63da336a84ca0f40f56348164abb56f88ddeef9fdfdb9765f99e25cab474887e37415390e6467b3c1623eac69ed9df8
Homepage: http://sollya.gforge.inria.fr/
Description-en: library for safe floating-point code development -- lib
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 dynamic library.
Description-md5: 4f765cece06abd03700012a3eb9c8547