How to Install and Uninstall librust-proptest+default-code-coverage-dev Package on Debian 12 (Bookworm)

Last updated: May 13,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 Debian 12 (Bookworm)

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

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

Please follow the guidelines below to uninstall librust-proptest+default-code-coverage-dev on Debian 12 (Bookworm):

$ 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 Debian 12 (Bookworm)

Package: librust-proptest+default-code-coverage-dev
Source: rust-proptest
Version: 1.0.0-1
Installed-Size: 9
Maintainer: Debian Rust Maintainers
Architecture: amd64
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)
Description: Hypothesis-like property-based testing and shrinking - feature "default-code-coverage"
Description-md5: d6780583ca582a22bc14d7d76774867b
Multi-Arch: same
Homepage: https://altsysrq.github.io/proptest-book/proptest/index.html
Section: rust
Priority: optional
Filename: pool/main/r/rust-proptest/librust-proptest+default-code-coverage-dev_1.0.0-1_amd64.deb
Size: 1268
MD5sum: 24b7398556fc7865ad9649b5803a3e30
SHA256: 6b63170b18bb20e13060c4df7b9225f7f50742a2e79359d8daa5d20541616e76