How to Install and Uninstall libghc-smtlib-dev Package on Linux Mint 21 (Vanessa)

Last updated: December 25,2024

1. Install "libghc-smtlib-dev" package

This tutorial shows how to install libghc-smtlib-dev on Linux Mint 21 (Vanessa)

$ sudo apt update $ sudo apt install libghc-smtlib-dev

2. Uninstall "libghc-smtlib-dev" package

Please follow the guidance below to uninstall libghc-smtlib-dev on Linux Mint 21 (Vanessa):

$ sudo apt remove libghc-smtlib-dev $ sudo apt autoclean && sudo apt autoremove

3. Information about the libghc-smtlib-dev package on Linux Mint 21 (Vanessa)

Package: libghc-smtlib-dev
Architecture: amd64
Version: 1.1-1build2
Priority: extra
Section: universe/haskell
Source: haskell-smtlib
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 5264
Provides: libghc-smtlib-dev-1.1-fea78
Depends: libghc-base-dev-4.13.0.0-2f220, libghc-pretty-dev-1.1.3.6-33019, libc6 (>= 2.2.5), libgmp10
Suggests: libghc-smtlib-doc, libghc-smtlib-prof
Filename: pool/universe/h/haskell-smtlib/libghc-smtlib-dev_1.1-1build2_amd64.deb
Size: 460520
MD5sum: cfd67cc2d474d3dc195eedf7660c838b
SHA1: 69e16e22dd64aabc42f664933c8825202fcc686e
SHA256: a496511726997f54b73d40d41e7e8f827c873047a505da0545de119128e0f6ea
SHA512: 0cb586acfedca775954746e32f55c4214ce618c477f3130b16ab1b80864f494f79e24633d326a4f1310c449e53f02a9c6c200086b5fbd44e51d579ce025b920e
Description: A library for working with the SMTLIB format.
Description-md5: dd571ef0c36dd122b05179bd0bbb8c70
Ghc-Package: smtLib-1.1-6JJkuW7YCo3ExAL2xJtS4K