How to Install and Uninstall libghc-smallcheck-dev Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 11,2024

1. Install "libghc-smallcheck-dev" package

Please follow the guidance below to install libghc-smallcheck-dev on Ubuntu 16.04 LTS (Xenial Xerus)

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

2. Uninstall "libghc-smallcheck-dev" package

This is a short guide on how to uninstall libghc-smallcheck-dev on Ubuntu 16.04 LTS (Xenial Xerus):

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

3. Information about the libghc-smallcheck-dev package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: libghc-smallcheck-dev
Priority: extra
Section: universe/haskell
Installed-Size: 1448
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Architecture: amd64
Source: haskell-smallcheck
Version: 1.1.1-5
Provides: libghc-smallcheck-dev-1.1.1-bb1fb
Depends: libghc-base-dev-4.8.2.0-0d6d1, libghc-ghc-prim-dev-0.4.0.0-6cdc8, libghc-logict-dev-0.6.0.2-4710f, libghc-mtl-dev-2.2.1-3af90, libghc-pretty-dev-1.1.2.0-5cc41, libc6 (>= 2.2.5)
Suggests: libghc-smallcheck-doc, libghc-smallcheck-prof
Filename: pool/universe/h/haskell-smallcheck/libghc-smallcheck-dev_1.1.1-5_amd64.deb
Size: 134170
MD5sum: 61d803d9cb690e7bbe10f12ab3172997
SHA1: f8b006eda277713e627bfdce7754025384702af6
SHA256: 0bd4fc6f32e9ddbd0fd9bcacb785bc80090a038426f0dd75980aad7614ce8c43
Description-en: Another lightweight testing library
SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but
instead of testing for a sample of randomly generated values, SmallCheck
tests properties for all the finitely many values up to some depth,
progressively increasing the depth used.
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
Description-md5: 298fa50905f07569ee051dea8350c51a
Homepage: https://github.com/feuerbach/smallcheck
Ghc-Package: smallcheck-1.1.1-bb1fbdc73b4690fcf4159e7efc9b7acb
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu