Package: librust-proptest-state-machine-dev
Source: rust-proptest-state-machine
Version: 0.4.0-1
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Rust Maintainers <pkg-rust-maintainers@alioth-lists.debian.net>
Installed-Size: 106
Depends: librust-proptest-1+bit-set-dev (>= 1.6.0-~~), librust-proptest-1+default-dev (>= 1.6.0-~~), librust-proptest-1+fork-dev (>= 1.6.0-~~), librust-proptest-1+timeout-dev (>= 1.6.0-~~)
Recommends: librust-proptest-state-machine+std-dev (= 0.4.0-1)
Provides: librust-proptest-state-machine-0-dev (= 0.4.0-1), librust-proptest-state-machine-0.4-dev (= 0.4.0-1), librust-proptest-state-machine-0.4.0-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 - Rust source code
 Source code for Debianized Rust crate "proptest-state-machine"
