How To Install rust-proptest-devel on Fedora 36

In this tutorial we learn how to install rust-proptest-devel in Fedora 36. rust-proptest-devel is Hypothesis-like property-based testing and shrinking

Introduction

In this tutorial we learn how to install rust-proptest-devel on Fedora 36.

What is `rust-proptest-devel`

Hypothesis-like property-based testing and shrinking. This package contains library source intended for building other packages which use “proptest” crate.

We can use yum or dnf to install rust-proptest-devel on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install rust-proptest-devel.

Install rust-proptest-devel on Fedora 36 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install rust-proptest-devel using dnf by running the following command:

sudo dnf -y install rust-proptest-devel

Install rust-proptest-devel on Fedora 36 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install rust-proptest-devel using yum by running the following command:

sudo yum -y install rust-proptest-devel

How To Uninstall rust-proptest-devel on Fedora 36

To uninstall only the rust-proptest-devel package we can use the following command:

sudo dnf remove rust-proptest-devel

rust-proptest-devel Package Contents on Fedora 36

/usr/share/cargo/registry/proptest-1.0.0
/usr/share/cargo/registry/proptest-1.0.0/.cargo-checksum.json
/usr/share/cargo/registry/proptest-1.0.0/CHANGELOG.md
/usr/share/cargo/registry/proptest-1.0.0/Cargo.toml
/usr/share/cargo/registry/proptest-1.0.0/LICENSE-APACHE
/usr/share/cargo/registry/proptest-1.0.0/LICENSE-MIT
/usr/share/cargo/registry/proptest-1.0.0/README.md
/usr/share/cargo/registry/proptest-1.0.0/examples
/usr/share/cargo/registry/proptest-1.0.0/examples/config-defaults.rs
/usr/share/cargo/registry/proptest-1.0.0/examples/dateparser_v1.rs
/usr/share/cargo/registry/proptest-1.0.0/examples/dateparser_v2.rs
/usr/share/cargo/registry/proptest-1.0.0/examples/fib.rs
/usr/share/cargo/registry/proptest-1.0.0/examples/tutorial-simplify-play.rs
/usr/share/cargo/registry/proptest-1.0.0/examples/tutorial-strategy-play.rs
/usr/share/cargo/registry/proptest-1.0.0/proptest-regressions
/usr/share/cargo/registry/proptest-1.0.0/proptest-regressions/arbitrary
/usr/share/cargo/registry/proptest-1.0.0/proptest-regressions/arbitrary/_std
/usr/share/cargo/registry/proptest-1.0.0/proptest-regressions/arbitrary/_std/env.txt
/usr/share/cargo/registry/proptest-1.0.0/proptest-regressions/test_runner
/usr/share/cargo/registry/proptest-1.0.0/proptest-regressions/test_runner/rng.txt
/usr/share/cargo/registry/proptest-1.0.0/src
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_alloc
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_alloc/alloc.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_alloc/borrow.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_alloc/boxed.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_alloc/char.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_alloc/collections.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_alloc/hash.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_alloc/mod.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_alloc/ops.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_alloc/rc.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_alloc/str.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_alloc/sync.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_core
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_core/ascii.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_core/cell.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_core/cmp.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_core/convert.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_core/fmt.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_core/iter.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_core/marker.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_core/mem.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_core/mod.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_core/num.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_core/option.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_core/result.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_std
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_std/env.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_std/ffi.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_std/fs.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_std/io.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_std/mod.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_std/net.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_std/panic.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_std/path.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_std/string.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_std/sync.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_std/thread.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/_std/time.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/arrays.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/functor.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/macros.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/mod.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/primitives.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/sample.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/traits.rs
/usr/share/cargo/registry/proptest-1.0.0/src/arbitrary/tuples.rs
/usr/share/cargo/registry/proptest-1.0.0/src/array.rs
/usr/share/cargo/registry/proptest-1.0.0/src/bits.rs
/usr/share/cargo/registry/proptest-1.0.0/src/bool.rs
/usr/share/cargo/registry/proptest-1.0.0/src/char.rs
/usr/share/cargo/registry/proptest-1.0.0/src/collection.rs
/usr/share/cargo/registry/proptest-1.0.0/src/file-preamble
/usr/share/cargo/registry/proptest-1.0.0/src/lib.rs
/usr/share/cargo/registry/proptest-1.0.0/src/macros.rs
/usr/share/cargo/registry/proptest-1.0.0/src/num.rs
/usr/share/cargo/registry/proptest-1.0.0/src/option.rs
/usr/share/cargo/registry/proptest-1.0.0/src/prelude.rs
/usr/share/cargo/registry/proptest-1.0.0/src/product_frunk.rs
/usr/share/cargo/registry/proptest-1.0.0/src/product_tuple.rs
/usr/share/cargo/registry/proptest-1.0.0/src/regex-contrib
/usr/share/cargo/registry/proptest-1.0.0/src/regex-contrib/README.md
/usr/share/cargo/registry/proptest-1.0.0/src/regex-contrib/crates_regex.rs
/usr/share/cargo/registry/proptest-1.0.0/src/result.rs
/usr/share/cargo/registry/proptest-1.0.0/src/sample.rs
/usr/share/cargo/registry/proptest-1.0.0/src/std_facade.rs
/usr/share/cargo/registry/proptest-1.0.0/src/strategy
/usr/share/cargo/registry/proptest-1.0.0/src/strategy/filter.rs
/usr/share/cargo/registry/proptest-1.0.0/src/strategy/filter_map.rs
/usr/share/cargo/registry/proptest-1.0.0/src/strategy/flatten.rs
/usr/share/cargo/registry/proptest-1.0.0/src/strategy/fuse.rs
/usr/share/cargo/registry/proptest-1.0.0/src/strategy/just.rs
/usr/share/cargo/registry/proptest-1.0.0/src/strategy/lazy.rs
/usr/share/cargo/registry/proptest-1.0.0/src/strategy/map.rs
/usr/share/cargo/registry/proptest-1.0.0/src/strategy/mod.rs
/usr/share/cargo/registry/proptest-1.0.0/src/strategy/recursive.rs
/usr/share/cargo/registry/proptest-1.0.0/src/strategy/shuffle.rs
/usr/share/cargo/registry/proptest-1.0.0/src/strategy/statics.rs
/usr/share/cargo/registry/proptest-1.0.0/src/strategy/traits.rs
/usr/share/cargo/registry/proptest-1.0.0/src/strategy/unions.rs
/usr/share/cargo/registry/proptest-1.0.0/src/string.rs
/usr/share/cargo/registry/proptest-1.0.0/src/sugar.rs
/usr/share/cargo/registry/proptest-1.0.0/src/test_runner
/usr/share/cargo/registry/proptest-1.0.0/src/test_runner/config.rs
/usr/share/cargo/registry/proptest-1.0.0/src/test_runner/errors.rs
/usr/share/cargo/registry/proptest-1.0.0/src/test_runner/failure_persistence
/usr/share/cargo/registry/proptest-1.0.0/src/test_runner/failure_persistence/file.rs
/usr/share/cargo/registry/proptest-1.0.0/src/test_runner/failure_persistence/map.rs
/usr/share/cargo/registry/proptest-1.0.0/src/test_runner/failure_persistence/mod.rs
/usr/share/cargo/registry/proptest-1.0.0/src/test_runner/failure_persistence/noop.rs
/usr/share/cargo/registry/proptest-1.0.0/src/test_runner/mod.rs
/usr/share/cargo/registry/proptest-1.0.0/src/test_runner/reason.rs
/usr/share/cargo/registry/proptest-1.0.0/src/test_runner/replay.rs
/usr/share/cargo/registry/proptest-1.0.0/src/test_runner/result_cache.rs
/usr/share/cargo/registry/proptest-1.0.0/src/test_runner/rng.rs
/usr/share/cargo/registry/proptest-1.0.0/src/test_runner/runner.rs
/usr/share/cargo/registry/proptest-1.0.0/src/tuple.rs
/usr/share/doc/rust-proptest-devel
/usr/share/doc/rust-proptest-devel/CHANGELOG.md
/usr/share/doc/rust-proptest-devel/README.md
/usr/share/licenses/rust-proptest-devel
/usr/share/licenses/rust-proptest-devel/LICENSE-APACHE
/usr/share/licenses/rust-proptest-devel/LICENSE-MIT

References

rust-proptest-devel website

Summary

In this tutorial we learn how to install rust-proptest-devel on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).