How to Install and Uninstall librust-proptest+default-code-coverage-dev Package on Ubuntu 20.04 LTS (Focal Fossa)

Last updated: December 29,2024

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

This guide let you learn how to install librust-proptest+default-code-coverage-dev on Ubuntu 20.04 LTS (Focal Fossa)

$ sudo apt update $ sudo apt install librust-proptest+default-code-coverage-dev

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

Please follow the guidance below to uninstall librust-proptest+default-code-coverage-dev on Ubuntu 20.04 LTS (Focal Fossa):

$ sudo apt remove librust-proptest+default-code-coverage-dev $ sudo apt autoclean && sudo apt autoremove

3. Information about the librust-proptest+default-code-coverage-dev package on Ubuntu 20.04 LTS (Focal Fossa)

Package: librust-proptest+default-code-coverage-dev
Architecture: amd64
Version: 0.9.4-3build1
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: 6
Provides: librust-proptest-0+default-code-coverage-dev (= 0.9.4-3build1), librust-proptest-0.9+default-code-coverage-dev (= 0.9.4-3build1), librust-proptest-0.9.4+default-code-coverage-dev (= 0.9.4-3build1)
Depends: librust-proptest-dev (= 0.9.4-3build1), librust-proptest+std-dev (= 0.9.4-3build1), librust-proptest+fork-dev (= 0.9.4-3build1), librust-proptest+timeout-dev (= 0.9.4-3build1), librust-bit-set-0.5+default-dev
Filename: pool/universe/r/rust-proptest/librust-proptest+default-code-coverage-dev_0.9.4-3build1_amd64.deb
Size: 1176
MD5sum: 6c2711aad77350b2d8d0474cbbd3477f
SHA1: bbe02ca346876ae288dea964b28222689733ddfe
SHA256: 8639902a392761be6df3bb0ea91c06764a1639a8c184b1cc989fae69878f62c6
Homepage: https://altsysrq.github.io/proptest-book/proptest/index.html
Description: Hypothesis-like property-based testing and shrinking - feature "default-code-coverage"
Description-md5: c6c10f835d6387653233a831d46b6f5c