Debian NEW package overview for rust-proptest-state-machine
rust-proptest-state-machine_0.4.0-1_amd64.changes (click to toggle)
Format:1.8
Date:Thu, 4 Sep 2025 23:21:09 CEST
Source:rust-proptest-state-machine
Binary:librust-proptest-state-machine+std-dev librust-proptest-state-machine-dev
Architecture:amd64 source
Version:0.4.0-1
Distribution:unstable
Urgency:medium
Maintainer:Debian Rust Maintainers <pkg-rust-maintainers@alioth-lists.debian.net>
Changed-By:Federico Ceratto <federico@debian.org>
Description:
librust-proptest-state-machine+std-dev - State machine based testing support for proptest - feature "std"
librust-proptest-state-machine-dev - State machine based testing support for proptest - Rust source co
Changes:
rust-proptest-state-machine (0.4.0-1) unstable; urgency=medium

  * Package proptest-state-machine 0.4.0 from crates.io using debcargo 2.7.10
Files:
59db38fcbd56398ce95ab545345826ff 1316 rust optional librust-proptest-state-machine+std-dev_0.4.0-1_amd64.deb
5cdcb01ededd77d76c61afed224e7190 21452 rust optional librust-proptest-state-machine-dev_0.4.0-1_amd64.deb
bfd464f3610cffcac6866a6421016235 11419 rust optional rust-proptest-state-machine_0.4.0-1_amd64.buildinfo
453f6ca5ebcc7409ed97aff549fa1622 2911 rust optional rust-proptest-state-machine_0.4.0-1.dsc
c26ca8120ca979856ae24a1b25ea3665 26286 - - rust-proptest-state-machine_0.4.0.orig.tar.gz
b9403e38ac241733eb3ac350d885e76a 3128 - - rust-proptest-state-machine_0.4.0-1.debian.tar.xz
rust-proptest-state-machine_0.4.0-1.dsc (click to toggle)
Format:3.0 (quilt)
Source:rust-proptest-state-machine
Binary:librust-proptest-state-machine-dev, librust-proptest-state-machine+std-dev
Architecture:any
Version:0.4.0-1
Maintainer:Debian Rust Maintainers <pkg-rust-maintainers@alioth-lists.debian.net>
Uploaders:Federico Ceratto <federico@debian.org>
Homepage:https://proptest-rs.github.io/proptest/proptest/state-machine.html
Standards-Version:4.7.2
Vcs-Browser:https://salsa.debian.org/rust-team/debcargo-conf/tree/master/src/proptest-state-machine
Vcs-Git:https://salsa.debian.org/rust-team/debcargo-conf.git [src/proptest-state-machine]
Testsuite:autopkgtest
Testsuite-Triggers:dh-cargo, librust-message-io-0.19+tcp-dev, librust-message-io-0.19+udp-dev, librust-message-io-0.19+websocket-dev, rustc
Build-Depends:debhelper-compat (=13), dh-sequence-cargo
Build-Depends-Arch:cargo:native <!nocheck>, rustc:native (>= 1.82) <!nocheck>, libstd-rust-dev <!nocheck>, librust-proptest-1+bit-set-dev (>= 1.6.0-~~) <!nocheck>, librust-proptest-1+default-dev (>= 1.6.0-~~) <!nocheck>, librust-proptest-1+fork-dev (>= 1.6.0-~~) <!nocheck>, librust-proptest-1+std-dev (>= 1.6.0-~~) <!nocheck>, librust-proptest-1+timeout-dev (>= 1.6.0-~~) <!nocheck>
Package-List:librust-proptest-state-machine+std-dev deb rust optional arch=any librust-proptest-state-machine-dev deb rust optional arch=any
Files:
c26ca8120ca979856ae24a1b25ea3665 26286 rust-proptest-state-machine_0.4.0.orig.tar.gz
b9403e38ac241733eb3ac350d885e76a 3128 rust-proptest-state-machine_0.4.0-1.debian.tar.xz
lintian 2.116.3 check for rust-proptest-state-machine_0.4.0-1.dsc (click to toggle)
README.source for rust-proptest-state-machine_0.4.0-1.dsc (click to toggle)
No README.source in this package
control file for librust-proptest-state-machine+std-dev_0.4.0-1_amd64.deb (click to toggle)
Package:librust-proptest-state-machine+std-dev
Source:rust-proptest-state-machine
Version:0.4.0-1
Architecture:amd64
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.
lintian 2.116.3 check for librust-proptest-state-machine+std-dev_0.4.0-1_amd64.deb (click to toggle)
contents of librust-proptest-state-machine+std-dev_0.4.0-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2025-09-04 21:19 ./
drwxr-xr-x root/root         0 2025-09-04 21:19 ./usr/
drwxr-xr-x root/root         0 2025-09-04 21:19 ./usr/share/
drwxr-xr-x root/root         0 2025-09-04 21:19 ./usr/share/doc/
drwxr-xr-x root/root         0 2025-09-04 21:19 ./usr/share/lintian/
drwxr-xr-x root/root         0 2025-09-04 21:19 ./usr/share/lintian/overrides/
-rw-r--r-- root/root        85 2025-09-04 21:19 ./usr/share/lintian/overrides/librust-proptest-state-machine+std-dev
lrwxrwxrwx root/root         0 2025-09-04 21:19 ./usr/share/doc/librust-proptest-state-machine+std-dev -> librust-proptest-state-machine-dev
control file for librust-proptest-state-machine-dev_0.4.0-1_amd64.deb (click to toggle)
Package:librust-proptest-state-machine-dev
Source:rust-proptest-state-machine
Version:0.4.0-1
Architecture:amd64
Maintainer:Debian Rust Maintainers <pkg-rust-maintainers@alioth-lists.debian.net>
Installed-Size:107
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"
lintian 2.116.3 check for librust-proptest-state-machine-dev_0.4.0-1_amd64.deb (click to toggle)
contents of librust-proptest-state-machine-dev_0.4.0-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2025-09-04 21:19 ./
drwxr-xr-x root/root         0 2025-09-04 21:19 ./usr/
drwxr-xr-x root/root         0 2025-09-04 21:19 ./usr/share/
drwxr-xr-x root/root         0 2025-09-04 21:19 ./usr/share/cargo/
drwxr-xr-x root/root         0 2025-09-04 21:19 ./usr/share/cargo/registry/
drwxr-xr-x root/root         0 2025-09-04 21:19 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/
-rw-r--r-- root/root        54 2025-09-04 21:19 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/.cargo-checksum.json
-rw-r--r-- root/root       116 2025-09-04 21:19 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/.cargo_vcs_info.json
-rw-r--r-- root/root      1255 2006-07-24 01:21 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/CHANGELOG.md
-rw-r--r-- root/root      1733 2025-09-04 21:19 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/Cargo.toml
-rw-r--r-- root/root       894 2006-07-24 01:21 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/Cargo.toml.orig
-rw-r--r-- root/root       282 2006-07-24 01:21 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/README.md
drwxr-xr-x root/root         0 2025-09-04 21:19 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/debian/
drwxr-xr-x root/root         0 2025-09-04 21:19 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/debian/patches/
-rw-r--r-- root/root       385 2025-09-04 21:19 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/debian/patches/relax-deps.patch
-rw-r--r-- root/root        17 2025-09-04 21:19 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/debian/patches/series
drwxr-xr-x root/root         0 2025-09-04 21:19 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/examples/
-rw-r--r-- root/root     17110 2006-07-24 01:21 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/examples/state_machine_echo_server.rs
-rw-r--r-- root/root      7851 2006-07-24 01:21 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/examples/state_machine_heap.rs
drwxr-xr-x root/root         0 2025-09-04 21:19 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/proptest-regressions/
-rw-r--r-- root/root       766 2006-07-24 01:21 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/proptest-regressions/strategy.txt
drwxr-xr-x root/root         0 2025-09-04 21:19 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/src/
-rw-r--r-- root/root       633 2006-07-24 01:21 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/src/lib.rs
-rw-r--r-- root/root     42536 2006-07-24 01:21 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/src/strategy.rs
-rw-r--r-- root/root      9905 2006-07-24 01:21 ./usr/share/cargo/registry/proptest-state-machine-0.4.0/src/test_runner.rs
drwxr-xr-x root/root         0 2025-09-04 21:19 ./usr/share/doc/
drwxr-xr-x root/root         0 2025-09-04 21:19 ./usr/share/doc/librust-proptest-state-machine-dev/
-rw-r--r-- root/root       180 2025-09-04 21:19 ./usr/share/doc/librust-proptest-state-machine-dev/changelog.Debian.gz
-rw-r--r-- root/root       652 2006-07-24 01:21 ./usr/share/doc/librust-proptest-state-machine-dev/changelog.gz
-rw-r--r-- root/root      1697 2025-09-04 21:19 ./usr/share/doc/librust-proptest-state-machine-dev/copyright

Timestamp: 04.09.2025 / 22:03:35 (UTC)