How to Install and Uninstall librust-proptest+default-dev Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: May 17,2024

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

Please follow the guidelines below to install librust-proptest+default-dev on Ubuntu 22.04 LTS (Jammy Jellyfish)

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

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

Here is a brief guide to show you how to uninstall librust-proptest+default-dev on Ubuntu 22.04 LTS (Jammy Jellyfish):

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

3. Information about the librust-proptest+default-dev package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: librust-proptest+default-dev
Architecture: amd64
Version: 0.9.6-2
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-0+default-dev (= 0.9.6-2), librust-proptest-0.9+default-dev (= 0.9.6-2), librust-proptest-0.9.6+default-dev (= 0.9.6-2)
Depends: librust-proptest-dev (= 0.9.6-2), librust-proptest+std-dev (= 0.9.6-2), librust-proptest+fork-dev (= 0.9.6-2), librust-proptest+timeout-dev (= 0.9.6-2), librust-proptest+bit-set-dev (= 0.9.6-2), librust-proptest+break-dead-code-dev (= 0.9.6-2)
Filename: pool/universe/r/rust-proptest/librust-proptest+default-dev_0.9.6-2_amd64.deb
Size: 1092
MD5sum: 82f0069e4aa7ed3412ca53d681534e1c
SHA1: 40ef0241673909ef0d81b1401a2867fa04d18cf6
SHA256: d1423d93167bb95c5da3b9c6b78131e76ff5549adcb8dc863069d96a36683ab1
SHA512: 2b3c67f592fcebeef652766f5e71ba3ee389fe16b5d499a1d60391222a354a60c4819b4dec345de81ecef4863914222219fdbc2c1042f0e824e53adda07ca4db
Homepage: https://altsysrq.github.io/proptest-book/proptest/index.html
Description: Hypothesis-like property-based testing and shrinking - feature "default"
Description-md5: 4f0399c9f0a885361d6fb24e3374935f