-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 23 Dec 2025 11:07:29 +0000 Source: rust-proptest Architecture: source Version: 1.9.0-1 Distribution: unstable Urgency: medium Maintainer: Debian Rust Maintainers <pkg-rust-maintainers@alioth-lists.debian.net> Changed-By: Peter Michael Green <plugwash@debian.org> Changes: rust-proptest (1.9.0-1) unstable; urgency=medium . * Team upload. * Package proptest 1.9.0 from crates.io using debcargo 2.7.11 * Drop fix-arithmetic-overflow.patch, merged upstream. * Update remaining patches for new upstream. * Add patch reverting upstream switch to rand 0.9. Checksums-Sha1: 387526aec12571cf8b2c590048ba32cb3467bdbd 3097 rust-proptest_1.9.0-1.dsc 536494b0c7c9541c64c45d467921f0207042b05a 205346 rust-proptest_1.9.0.orig.tar.gz 3b9ecf370bbbe77bcd6bdc952d1e4e1a01dbbd08 10332 rust-proptest_1.9.0-1.debian.tar.xz 03c2eee61be6502ba3f289fa33e4242390fbc403 9079 rust-proptest_1.9.0-1_source.buildinfo Checksums-Sha256: f196f501024438ab3c340b6073f1b6c13d2d9ee0c487720a53085b1a86146617 3097 rust-proptest_1.9.0-1.dsc bee689443a2bd0a16ab0348b52ee43e3b2d1b1f931c8aa5c9f8de4c86fbe8c40 205346 rust-proptest_1.9.0.orig.tar.gz d2ef6b2eef465570ae31f12334e9079eb002b638613be3da97ac48d79ae32568 10332 rust-proptest_1.9.0-1.debian.tar.xz 5f5d69c0e4c28eee06110edc8078a092ce1e8bc693743acf754a805886eeef83 9079 rust-proptest_1.9.0-1_source.buildinfo Files: c09c01b7e86c6364b23491b4eb38c05b 3097 rust optional rust-proptest_1.9.0-1.dsc d76beccb4e87546a9f2460880fbcf05e 205346 rust optional rust-proptest_1.9.0.orig.tar.gz ef62998fc683fb7089f624b66dc4c8ac 10332 rust optional rust-proptest_1.9.0-1.debian.tar.xz aec3bcf560132a4bf7a3d158d5f55fa5 9079 rust optional rust-proptest_1.9.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJIBAEBCAAyFiEEU0DQATYMplbjSX63DEjqKnqP/XsFAmlKgCoUHHBsdWd3YXNo QGRlYmlhbi5vcmcACgkQDEjqKnqP/Xvp/A/+M1UHeshnGXyFyIWIQmx8NEYp5btR GK8DMGYQuzSPGIU53AjGPcXCBfSdddczYLA5mnNTv7KZkWveN5QbHzgj8TSgGK0o Ida0gkNbBvBntvN08Vj4vkk83W0/AKM3yCIDFGdSVt71Ulqk1Oox99HNEBWT2Ozl PsRRwMCqxUcTSJzljch8ohAh0srmaDduPpSuv/ycGJ+N2C3Sz2DXVgGZ/jP6D4+D RumKub8psCqGTJpH9ILqPZXf0DDFu1P9RHHdVvwwVgo7cJKNmc4VUbOMsr4MZQjy CKKc4wXWMtCgNVtLl+15p8FMmcAVrMmHdmehLh0BehRkSQxGd8egQFAVchEJ+pAd ZIpR2jDi+w3NkcFt24oYO8G7BFxXqqIr4TudwzEHZUb2jd4Wp5UWhKoa5GX3CB98 8xEgstY65IAzZJPixm6Za7lQqmwzrqwZGePFKdYyw3LfJEqPvSMfTgfnp+7JY21s ebAAI7/h8LQ26JQNDtjJfl1Qb9hh0S9nd/0qdCUlgR+g6VS81aAwQ2XvXXRW2XO5 36E8AW9kKx47j2JlGyHpaAc1dJyhoK/WXhJ4X0QvlYBhcCWTOBWWg0z/MY/8W2WN 2Ac7FEeWtaaJQB/Q5E21rpHJJ21Y0mvwUSNi3j3PXYbTDyro4vOmkL+PVxrckGRE UCRo/mlvhd29uEg= =EFHb -----END PGP SIGNATURE-----
