-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 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 Checksums-Sha256: fedeffde5c7ceaeba9ccb402c376e1e63288a8de1cf7d4a0df9fb9cc0c72e132 1316 librust-proptest-state-machine+std-dev_0.4.0-1_amd64.deb bbfed0ff7c6c0ab18544bba0b2166ebca5a66b4c2a2891ecde80527717ff1138 21452 librust-proptest-state-machine-dev_0.4.0-1_amd64.deb ddb146a2040354303370b657fccc7c771d8533d7603e6cd3206e9d414c2377ae 11419 rust-proptest-state-machine_0.4.0-1_amd64.buildinfo fe3eace1856952c1cd1bd92ac60240cb288bb49ef8993fdcd3d4b7a77b3520f5 2911 rust-proptest-state-machine_0.4.0-1.dsc 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 Checksums-Sha1: 4beaafed7f9757282808b62d2d69c8ab87756067 1316 librust-proptest-state-machine+std-dev_0.4.0-1_amd64.deb 8cc758fcab43ee4a374f5e3397207048c2eb7470 21452 librust-proptest-state-machine-dev_0.4.0-1_amd64.deb ef0057048f8837613a2b85cdff2bdbc8a00b0bf8 11419 rust-proptest-state-machine_0.4.0-1_amd64.buildinfo 0e2e7dba6e9fdae2d7f70d1f31c2d249ba88a1e8 2911 rust-proptest-state-machine_0.4.0-1.dsc 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 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 -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEfKfd+zM5IUCMbyuWbzG8RPUXfaoFAmi6AsYUHGZlZGVyaWNv QGRlYmlhbi5vcmcACgkQbzG8RPUXfarFSQ//RRObaZZuXau0CcZNrMGaTVgTMDLh I1hfwL45cxvMCAn+/F1r9Q6TCsBtSb+0p3jHyvlYQYbirXGrSfbTP5CcfWYx7so3 IS/hOYO3mGAvjnRaPWSfCmsBtHUuJraIM5gOQ6x1b3cBy/wQJ2xAnaATLnZQxaIB 0K0LUYgBT824ZTKWLuyt43XrlRG3J3rq0JZZw3vIxiW4nLwxbcJoBxJegSsltFwo d1HxoO63vdD6RVslNkJiwglenFnnpO5frwPBbRcf7e1blIv2w5h0kAX9nuZ71I7Y qIlSKhSKXZ/1cVi3xjJtFMmqJr7dwJcOSwhPF9WZvs0xPS36U2oGmwo7HysLwNxF z/SYl/JfYYpe/HNx+vhtF/UOpPhAGeO7W1L4ipIwvJNFGFxqBESx4y3kepsiFWIy t/37nxw9hXe/OT6K+Ux10NRJrGIWakKKd7Mpfo41F063TFI0MnKCXg7zWKwuYeVH oU8R4wk+VYbVtnF3loj3iH7Ib0NyH70MrnAWvPpoGTTVDlU8TKj2G+kUo6E09nO3 /YvcuWlspvqbDbvEsN3sFX+3Gey8psMLumyznWGrC38pQjWxSbaWrjC/5TPcvrtS P0Z5uNlF5VTLUzE3wlXPS6n/m+c1OvHvwM5Ql7rl3UO47UQOQ7tZm78oE4drWU/r i8RMdLXZh5wbocc= =SMRe -----END PGP SIGNATURE-----
