Package: librust-proptest-state-machine+std-dev
Source: rust-proptest-state-machine
Version: 0.4.0-1
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Rust Maintainers <pkg-rust-maintainers@alioth-lists.debian.net>
Installed-Size: 9
Depends: librust-proptest-state-machine-dev (= 0.4.0-1), librust-proptest-1+bit-set-dev (>= 1.6.0-~~), librust-proptest-1+fork-dev (>= 1.6.0-~~), librust-proptest-1+std-dev (>= 1.6.0-~~), librust-proptest-1+timeout-dev (>= 1.6.0-~~)
Provides: librust-proptest-state-machine+default-dev (= 0.4.0-1), librust-proptest-state-machine-0+default-dev (= 0.4.0-1), librust-proptest-state-machine-0+std-dev (= 0.4.0-1), librust-proptest-state-machine-0.4+default-dev (= 0.4.0-1), librust-proptest-state-machine-0.4+std-dev (= 0.4.0-1), librust-proptest-state-machine-0.4.0+default-dev (= 0.4.0-1), librust-proptest-state-machine-0.4.0+std-dev (= 0.4.0-1)
Section: rust
Priority: optional
Multi-Arch: same
Homepage: https://proptest-rs.github.io/proptest/proptest/state-machine.html
Description: State machine based testing support for proptest - feature "std" and 1 more
 This metapackage enables feature "std" for the Rust proptest-state-machine
 crate, by pulling in any additional dependencies needed by that feature.
 .
 Additionally, this package also provides the "default" feature.
