How to Install and Uninstall libghc-presburger-prof Package on Debian 10 (Buster)

Last updated: December 23,2024

1. Install "libghc-presburger-prof" package

Here is a brief guide to show you how to install libghc-presburger-prof on Debian 10 (Buster)

$ sudo apt update $ sudo apt install libghc-presburger-prof

2. Uninstall "libghc-presburger-prof" package

This is a short guide on how to uninstall libghc-presburger-prof on Debian 10 (Buster):

$ sudo apt remove libghc-presburger-prof $ sudo apt autoclean && sudo apt autoremove

3. Information about the libghc-presburger-prof package on Debian 10 (Buster)

Package: libghc-presburger-prof
Source: haskell-presburger (1.3.1-6)
Version: 1.3.1-6+b2
Installed-Size: 1417
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-presburger-prof-1.3.1-10623
Depends: libghc-presburger-dev (= 1.3.1-6+b2), libghc-base-prof-4.11.1.0-5dd74, libghc-containers-prof-0.5.11.0-e0faa, libghc-pretty-prof-1.1.3.6-aea39
Description: decision procedure for quantifier-free linear arithmetic; profiling libraries
Description-md5: 9851b74ea58875bc6ffa4c1b1c16fd50
Homepage: http://github.com/yav/presburger
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-presburger/libghc-presburger-prof_1.3.1-6+b2_amd64.deb
Size: 140408
MD5sum: c866d9ed065e3d845e38060a1bbbe079
SHA256: 1ff479a30687ea272b01129d73526183fe35b9da466ac7e7879008e54d87c182