How to Install and Uninstall libcvc5parser1 Package on Debian 12 (Bookworm)
Last updated: November 07,2024
Notice
You can also install and uninstall the libcvc5parser1 on the following distributions in the same way, as they are all based on the Debian system
- MX Linux 23
- SparkyLinux
1. Install "libcvc5parser1" package
This tutorial shows how to install libcvc5parser1 on Debian 12 (Bookworm)
$
sudo apt update
Copied
$
sudo apt install
libcvc5parser1
Copied
2. Uninstall "libcvc5parser1" package
Please follow the instructions below to uninstall libcvc5parser1 on Debian 12 (Bookworm):
$
sudo apt remove
libcvc5parser1
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libcvc5parser1 package on Debian 12 (Bookworm)
Package: libcvc5parser1
Source: cvc5
Version: 1.0.3-1
Installed-Size: 1637
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libantlr3c-3.4-0 | libantlr3c-antlrdbg-3.4-0, libc6 (>= 2.32), libcvc5-1 (>= 1.0.3), libgcc-s1 (>= 3.0), libstdc++6 (>= 11)
Description: automated theorem prover for SMT problems (parser runtime)
Description-md5: c3a5bb5e9e41edcc86d8956a94b4711a
Multi-Arch: same
Homepage: https://cvc5.github.io/
Tag: role::shared-lib
Section: libs
Priority: optional
Filename: pool/main/c/cvc5/libcvc5parser1_1.0.3-1_amd64.deb
Size: 306872
MD5sum: 540d80ea96da19739542f53ada93c5f1
SHA256: 6d7ad0208508fdc783aee1e5aeeb05ef368402d4647a3a485ba2a33d251b5504
Source: cvc5
Version: 1.0.3-1
Installed-Size: 1637
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libantlr3c-3.4-0 | libantlr3c-antlrdbg-3.4-0, libc6 (>= 2.32), libcvc5-1 (>= 1.0.3), libgcc-s1 (>= 3.0), libstdc++6 (>= 11)
Description: automated theorem prover for SMT problems (parser runtime)
Description-md5: c3a5bb5e9e41edcc86d8956a94b4711a
Multi-Arch: same
Homepage: https://cvc5.github.io/
Tag: role::shared-lib
Section: libs
Priority: optional
Filename: pool/main/c/cvc5/libcvc5parser1_1.0.3-1_amd64.deb
Size: 306872
MD5sum: 540d80ea96da19739542f53ada93c5f1
SHA256: 6d7ad0208508fdc783aee1e5aeeb05ef368402d4647a3a485ba2a33d251b5504