How to Install and Uninstall libcvc4-dev Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: December 23,2024

1. Install "libcvc4-dev" package

Learn how to install libcvc4-dev on Ubuntu 23.10 (Mantic Minotaur)

$ sudo apt update $ sudo apt install libcvc4-dev

2. Uninstall "libcvc4-dev" package

In this section, we are going to explain the necessary steps to uninstall libcvc4-dev on Ubuntu 23.10 (Mantic Minotaur):

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

3. Information about the libcvc4-dev package on Ubuntu 23.10 (Mantic Minotaur)

Package: libcvc4-dev
Architecture: amd64
Version: 1.8-3
Priority: optional
Section: universe/libdevel
Source: cvc4
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 830
Depends: libcvc4-7 (= 1.8-3), libcvc4parser7 (= 1.8-3), libgmp-dev
Filename: pool/universe/c/cvc4/libcvc4-dev_1.8-3_amd64.deb
Size: 125216
MD5sum: 80d6665c74caaf5ac8c6703ea1742c72
SHA1: 8c38a3c804de583627939883a7a20c4a82874069
SHA256: b23e731e5e88285a65f95615004ecbe7c5fbadef64d0875d48be11cf01635ef5
SHA512: 6c4d0cb6f03c9bea671245a592673209f1ece5ba148b0c3bed67534e79264eb226910d58382dc3c3bd024d89313c5550811d517b1da6fb7a9a2cd682d98c1906
Homepage: https://cvc4.github.io/
Description: automated theorem prover for SMT problems (development files)
Description-md5: f7eec8184f4f2011119ce7723ddf8cd5