How to Install and Uninstall librust-quickcheck+default-dev Package on Debian 10 (Buster)

Last updated: May 21,2024

1. Install "librust-quickcheck+default-dev" package

Please follow the instructions below to install librust-quickcheck+default-dev on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                librust-quickcheck+default-dev
            
                    
    
    Copied

2. Uninstall "librust-quickcheck+default-dev" package

This tutorial shows how to uninstall librust-quickcheck+default-dev on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                librust-quickcheck+default-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the librust-quickcheck+default-dev package on Debian 10 (Buster)

Package: librust-quickcheck+default-dev
Source: rust-quickcheck
Version: 0.7.2-2
Installed-Size: 6
Maintainer: Debian Rust Maintainers
Architecture: amd64
Provides: librust-quickcheck-0+default-dev (= 0.7.2-2), librust-quickcheck-0.7+default-dev (= 0.7.2-2), librust-quickcheck-0.7.2+default-dev (= 0.7.2-2)
Depends: librust-quickcheck-dev (= 0.7.2-2), librust-quickcheck+regex-dev (= 0.7.2-2), librust-quickcheck+use-logging-dev (= 0.7.2-2)
Description: Automatic property based testing with shrinking - feature "default"
Description-md5: 1800940f850cd5eeff0877c6bff110f0
Multi-Arch: same
Homepage: https://github.com/BurntSushi/quickcheck
Section: rust
Priority: optional
Filename: pool/main/r/rust-quickcheck/librust-quickcheck+default-dev_0.7.2-2_amd64.deb
Size: 1084
MD5sum: 2234aacdf6664ead580d24a4544fb7db
SHA256: 12403dc6e7b279ac2dd764637276d179fc13cfe2db9255a6a7917ece8e67e94f