How to Install and Uninstall libcvc4parser7 Package on Ubuntu 24.04 LTS (Noble Numbat)
Last updated: December 23,2024
1. Install "libcvc4parser7" package
Please follow the steps below to install libcvc4parser7 on Ubuntu 24.04 LTS (Noble Numbat)
$
sudo apt update
Copied
$
sudo apt install
libcvc4parser7
Copied
2. Uninstall "libcvc4parser7" package
Please follow the guidelines below to uninstall libcvc4parser7 on Ubuntu 24.04 LTS (Noble Numbat):
$
sudo apt remove
libcvc4parser7
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libcvc4parser7 package on Ubuntu 24.04 LTS (Noble Numbat)
Package: libcvc4parser7
Architecture: amd64
Version: 1.8-3
Multi-Arch: same
Priority: optional
Section: universe/libs
Source: cvc4
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2586
Depends: libantlr3c-3.4-0 | libantlr3c-antlrdbg-3.4-0, libc6 (>= 2.33), libcln6, libcvc4-7 (>= 1.8), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11)
Filename: pool/universe/c/cvc4/libcvc4parser7_1.8-3_amd64.deb
Size: 379068
MD5sum: 4f1edcfe8505a1cf802efef7c38e8a3e
SHA1: d7ec90c9cb013bbda41623f0c077a8cc9b95f60b
SHA256: 07796d33fcc409a6f3bbba98ec0ec6f85bf5b1e3ec126ae3537be0e5e3afa24b
SHA512: 5635d0af6c9125fb0c17ace4f6735d77810c7e03ac16cc7451909a979cc144890b368f099db5008fc871e63404d675d19aed4210058cd9ad21259592374bdfc3
Homepage: https://cvc4.github.io/
Description: automated theorem prover for SMT problems (parser runtime)
Description-md5: 41ac21a6409f50acd2200935984059a6
Architecture: amd64
Version: 1.8-3
Multi-Arch: same
Priority: optional
Section: universe/libs
Source: cvc4
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2586
Depends: libantlr3c-3.4-0 | libantlr3c-antlrdbg-3.4-0, libc6 (>= 2.33), libcln6, libcvc4-7 (>= 1.8), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11)
Filename: pool/universe/c/cvc4/libcvc4parser7_1.8-3_amd64.deb
Size: 379068
MD5sum: 4f1edcfe8505a1cf802efef7c38e8a3e
SHA1: d7ec90c9cb013bbda41623f0c077a8cc9b95f60b
SHA256: 07796d33fcc409a6f3bbba98ec0ec6f85bf5b1e3ec126ae3537be0e5e3afa24b
SHA512: 5635d0af6c9125fb0c17ace4f6735d77810c7e03ac16cc7451909a979cc144890b368f099db5008fc871e63404d675d19aed4210058cd9ad21259592374bdfc3
Homepage: https://cvc4.github.io/
Description: automated theorem prover for SMT problems (parser runtime)
Description-md5: 41ac21a6409f50acd2200935984059a6