How to Install and Uninstall libghc-quickcheck-safe-dev Package on Kali Linux

Last updated: November 22,2024

1. Install "libghc-quickcheck-safe-dev" package

This tutorial shows how to install libghc-quickcheck-safe-dev on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-quickcheck-safe-dev
            
                    
    
    Copied

2. Uninstall "libghc-quickcheck-safe-dev" package

This is a short guide on how to uninstall libghc-quickcheck-safe-dev on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-quickcheck-safe-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-quickcheck-safe-dev package on Kali Linux

Package: libghc-quickcheck-safe-dev
Source: haskell-quickcheck-safe (0.1.0.6-4)
Version: 0.1.0.6-4+b1
Installed-Size: 266
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-quickcheck-safe-dev-0.1.0.6-2e6ae
Depends: libghc-base-dev-4.17.2.0-68dfe, libghc-containers-dev-0.6.7-a1650, libghc-quickcheck-dev-2.14.3-69b0e, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg)
Size: 41104
SHA256: a6e176d5cbc11ebbde95a27468003874d5ee8578992405b6097b10d153e4ed6e
SHA1: 1dfbab300c233bf1fc1b3a1d1d67edfe6ba39958
MD5sum: 8de1c8fb74a18e6e4f5e5e9d77f992c2
Description: Safe reimplementation of QuickCheck's core
QuickCheck-safe reimplements the quickCheck functionality with a pure
interface and a very small trusted base (see Test.QuickCheck.Safe.Trusted).
.
* uses the existing Arbitrary instances
* implemented features: testing, result minimization (i.e., shrinking)
* missing features: expected failures, label frequencies, coverage
.
The package is targeted at users who want to leverage SafeHaskell for
sandboxing.
.
>>> putStr $ quickCheck (inventQCGen ()) (\x -> length (x :: [()]) < 10)
*** Failed! Falsifiable (after 18 tests and 3 shrinks):
[(),(),(),(),(),(),(),(),(),(),(),(),(),(),()]
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
Description-md5:
Homepage: http://hackage.haskell.org/package/QuickCheck-safe
Ghc-Package: QuickCheck-safe-0.1.0.6-5cSFHmP90OB2ACMYm981Cq
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-quickcheck-safe/libghc-quickcheck-safe-dev_0.1.0.6-4+b1_amd64.deb