-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

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
Checksums-Sha1:
 1f3b0f7ea65be23a056c7dc502aa92daa4679560 26286 rust-proptest-state-machine_0.4.0.orig.tar.gz
 7472b652952bcf8452f84184df3f6f88d1f52a66 3128 rust-proptest-state-machine_0.4.0-1.debian.tar.xz
Checksums-Sha256:
 53f556db2c446aa1f554a94938ea54bf16a37742bbb984dc5d8dcf6866b1dd5a 26286 rust-proptest-state-machine_0.4.0.orig.tar.gz
 62b6da677ffa5bd69fbabdf2bb778684d63b29e0aed03d3da70cd5133df4227c 3128 rust-proptest-state-machine_0.4.0-1.debian.tar.xz
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

-----BEGIN PGP SIGNATURE-----

iQJIBAEBCgAyFiEEfKfd+zM5IUCMbyuWbzG8RPUXfaoFAmi6AlwUHGZlZGVyaWNv
QGRlYmlhbi5vcmcACgkQbzG8RPUXfarO2w/+IQYkyZpLOmo9WpdO9fIs3b8/Xwo8
SF/jnUMDJmjz+Vv809BIBDH9wbhmK0Uc3ju86VxCgMgk7ByLpx15YL8mN8f3UmU7
a/mACWiqO/rnlGYOA+zxVwPiAsl1tw/BIXP6UqIDTT5Q7nmYX42PKCCRB321VPGt
xHgI39ahZaWLSPoCSBx9yw9mN7dS5vvuNyykazo3bEHNc66J+ulGZJkIzVgoi/0E
U9riIWuRZFOQ/uJv5eEeriQRR11V6GecS5sGDXzebzwQjb+zCTII3+GJgwq5Nxsl
qdFr0I4kiTid2YjPq+3Z5m/y5F3O89HfUocCXSBB8vb7AQ23FUC1zFnWoa6fpzpe
YE8H86+zcV2ocQiAWnpsTW+iW2GcpjkxwkwdnHVBCViwuJ80cn2EAM/nd6k0q2hB
1vW7i5q/6qJXa343Vb9izrJXOnfjuIrBZqOA/FMKn+D/TsVlAJ4bWl5ycx0Y++ji
LoLMAyYuv4wjILNZ6HPK6WUyE+XjhSys4xw4RbEuPHCHJSZjuzA3NXwysKA0JjD0
9Srs0ueVHoYM6/jtW6/tVqZXLyfWWAIqKfwc1s3po1u45p8mZP7vHyj/RrH93K9Z
SlTHR2wGsw1EFpHFIHyoYwUXzkVHTTRGNbFXf97S7hFg5hoJcvOUJ+fyhbmS3T93
Ac0t3J3I/FDT2OE=
=b2KX
-----END PGP SIGNATURE-----