How to Install and Uninstall libcvc5parser1 Package on Debian 12 (Bookworm)

Last updated: May 14,2024

1. Install "libcvc5parser1" package

This tutorial shows how to install libcvc5parser1 on Debian 12 (Bookworm)

$ sudo apt update $ sudo apt install libcvc5parser1

2. Uninstall "libcvc5parser1" package

Please follow the instructions below to uninstall libcvc5parser1 on Debian 12 (Bookworm):

$ sudo apt remove libcvc5parser1 $ sudo apt autoclean && sudo apt autoremove

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