How to Install and Uninstall librust-proptest+default-code-coverage-dev Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 12,2024

1. Install "librust-proptest+default-code-coverage-dev" package

Here is a brief guide to show you how to install librust-proptest+default-code-coverage-dev on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                librust-proptest+default-code-coverage-dev
            
                    
    
    Copied

2. Uninstall "librust-proptest+default-code-coverage-dev" package

Please follow the guidance below to uninstall librust-proptest+default-code-coverage-dev on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                librust-proptest+default-code-coverage-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the librust-proptest+default-code-coverage-dev package on Ubuntu 23.10 (Mantic Minotaur)

Package: librust-proptest+default-code-coverage-dev
Architecture: amd64
Version: 1.0.0-1
Multi-Arch: same
Priority: optional
Section: universe/rust
Source: rust-proptest
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Rust Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 9
Provides: librust-proptest-1+default-code-coverage-dev (= 1.0.0-1), librust-proptest-1.0+default-code-coverage-dev (= 1.0.0-1), librust-proptest-1.0.0+default-code-coverage-dev (= 1.0.0-1)
Depends: librust-proptest-dev (= 1.0.0-1), librust-proptest+std-dev (= 1.0.0-1), librust-proptest+fork-dev (= 1.0.0-1), librust-proptest+timeout-dev (= 1.0.0-1), librust-proptest+bit-set-dev (= 1.0.0-1)
Filename: pool/universe/r/rust-proptest/librust-proptest+default-code-coverage-dev_1.0.0-1_amd64.deb
Size: 1096
MD5sum: a931f0ff1157a65074e343dae353a32b
SHA1: 1b6aad378dbd8796903ba3d96225b9434371d194
SHA256: de24b1af4611fe08b940e59194e8674af93c707fbb8703df721edb7983865a6b
SHA512: 8d47c8ca69ad4ea743afa8514ec19256ecd242a760ce674a536937ac195f7bfa08919fe6d6c9db3d0b9358e33b997aa830ad0581ac5c0ca1523e4ed03553977f
Homepage: https://altsysrq.github.io/proptest-book/proptest/index.html
Description: Hypothesis-like property-based testing and shrinking - feature "default-code-coverage"
Description-md5: d6780583ca582a22bc14d7d76774867b