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

Last updated: December 25,2024

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

Please follow the instructions below to install librust-proptest+default-dev on Ubuntu 20.04 LTS (Focal Fossa)

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

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

This tutorial shows how to uninstall librust-proptest+default-dev on Ubuntu 20.04 LTS (Focal Fossa):

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

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

Package: librust-proptest+default-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-dev (= 0.9.4-3build1), librust-proptest-0.9+default-dev (= 0.9.4-3build1), librust-proptest-0.9.4+default-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-proptest+break-dead-code-dev (= 0.9.4-3build1), librust-bit-set-0.5+default-dev
Filename: pool/universe/r/rust-proptest/librust-proptest+default-dev_0.9.4-3build1_amd64.deb
Size: 1164
MD5sum: e9e72af6b17bc77f7de0c8bddc8a6d59
SHA1: 7b869157b3171d25caab9128995b2c9f2bfb6c70
SHA256: 84840fbe287f076d7c3a8f65400873f57a5ad1193c1c1fdaed477c55b9f00b21
Homepage: https://altsysrq.github.io/proptest-book/proptest/index.html
Description: Hypothesis-like property-based testing and shrinking - feature "default"
Description-md5: a19eed140a7ddfd4baa2800f9653fa35