How to Install and Uninstall libcryptominisat5-5.11 Package on Ubuntu 23.10 (Mantic Minotaur)
Last updated: December 24,2024
1. Install "libcryptominisat5-5.11" package
This guide let you learn how to install libcryptominisat5-5.11 on Ubuntu 23.10 (Mantic Minotaur)
$
sudo apt update
Copied
$
sudo apt install
libcryptominisat5-5.11
Copied
2. Uninstall "libcryptominisat5-5.11" package
In this section, we are going to explain the necessary steps to uninstall libcryptominisat5-5.11 on Ubuntu 23.10 (Mantic Minotaur):
$
sudo apt remove
libcryptominisat5-5.11
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libcryptominisat5-5.11 package on Ubuntu 23.10 (Mantic Minotaur)
Package: libcryptominisat5-5.11
Architecture: amd64
Version: 5.11.4+dfsg1-3
Multi-Arch: same
Priority: optional
Section: universe/libs
Source: cryptominisat
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1021
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Filename: pool/universe/c/cryptominisat/libcryptominisat5-5.11_5.11.4+dfsg1-3_amd64.deb
Size: 445520
MD5sum: 3f4063d48453fe75b4dae76080fc1d46
SHA1: e4fd577d519905000febe29f87d7e0c6b83b78f9
SHA256: 42e16a751fb7d2eb2157d93169e5f3ffefe5218f992cd23948a6bffae72a140f
SHA512: 323ea9b85da19b29d4ef934a7b7f0a817a8dcffe4b96e20fee740c49d5394c12a295fd49948805cfb0fe6520672cf8c7190ed79443339cb85dca8ccf5d0e66a0
Homepage: https://www.msoos.org/
Description: SAT solver library
Description-md5: 5034802a972a5e9d407dd56d8056f73c
Architecture: amd64
Version: 5.11.4+dfsg1-3
Multi-Arch: same
Priority: optional
Section: universe/libs
Source: cryptominisat
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1021
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Filename: pool/universe/c/cryptominisat/libcryptominisat5-5.11_5.11.4+dfsg1-3_amd64.deb
Size: 445520
MD5sum: 3f4063d48453fe75b4dae76080fc1d46
SHA1: e4fd577d519905000febe29f87d7e0c6b83b78f9
SHA256: 42e16a751fb7d2eb2157d93169e5f3ffefe5218f992cd23948a6bffae72a140f
SHA512: 323ea9b85da19b29d4ef934a7b7f0a817a8dcffe4b96e20fee740c49d5394c12a295fd49948805cfb0fe6520672cf8c7190ed79443339cb85dca8ccf5d0e66a0
Homepage: https://www.msoos.org/
Description: SAT solver library
Description-md5: 5034802a972a5e9d407dd56d8056f73c