Accepted rust-proptest 1.0.0-2 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 03 Oct 2023 18:32:52 +0000
Source: rust-proptest
Architecture: source
Version: 1.0.0-2
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.0.0-2) unstable; urgency=medium
 .
   * Team upload.
   * Package proptest 1.0.0 from crates.io using debcargo 2.6.0
   * Add upstream patch for new version of regex-syntax.
Checksums-Sha1:
 5b070b836e1d83026383ff3b48364f010879c024 4033 rust-proptest_1.0.0-2.dsc
 f17c14c2c3f5fb1dae42295b5bb678fac8bd00cc 7216 rust-proptest_1.0.0-2.debian.tar.xz
 270bdf613f92c8f23ab77e2b255304d30085c4ba 7836 rust-proptest_1.0.0-2_source.buildinfo
Checksums-Sha256:
 f2efa05e203c5b7ae44f0e059339995aaf89aacbe77f11afedfc24b8762069cb 4033 rust-proptest_1.0.0-2.dsc
 fe634b51dc69e39acf77ffee6e78b092eac4b144091d5bf1087ccbd0ee076d41 7216 rust-proptest_1.0.0-2.debian.tar.xz
 03f8cd4f3d67f8eb799ccc58507b669475ba12150b4cb33785e9c7d58ca284fd 7836 rust-proptest_1.0.0-2_source.buildinfo
Files:
 7247ae88fc5fdee7ff08229852f79da8 4033 rust optional rust-proptest_1.0.0-2.dsc
 e0d3c1c74ea34e4160e7a51bbb536180 7216 rust optional rust-proptest_1.0.0-2.debian.tar.xz
 ec5d54f6f1d8633060c5209a2e57f980 7836 rust optional rust-proptest_1.0.0-2_source.buildinfo

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

iQJIBAEBCAAyFiEEU0DQATYMplbjSX63DEjqKnqP/XsFAmUcYPMUHHBsdWd3YXNo
QGRlYmlhbi5vcmcACgkQDEjqKnqP/XtrNw/+OATlPf1kjrSMQiyP0daCD5xHDFGr
cKv4ReOLOPLSoVCEvcctmKwIaNSy8vFzaBszlsPsORPUeQbhTH0LMXE4taz+m17b
VBCwBb7G2hgTuOcvI5QUhYAapw3gqje5TivdEzgNTdXhsC2/zvugnMX9+ye0X89w
zNXrmDkm1odh8YXzFQgnEoLtbIFRIz1sQ02Sr7oWHS8c2VXHNBh9Sd9qcOaZrdF6
+7trBPtPHtzPsj4/pUK3xPKax/BKDwHdwqDW3LbJswAXxyF5UYMbDFL0Dv0n6hNY
oZ77xXjsjuOP3AZxRA6vWsmr3voAMId2QjrJZWRo6EHH1RUd6wciSxroFaByiuPQ
0B0exqzk0WCxSvLCMvh2XN+Db7UsPb/VCoXIOFqVmclojnWkrg+BprqTqwEcd/+F
WD8nGbvV8aU3jnH2VJrvmRKEl1luOQ1CRrMsIW14v3A/8DQ/gMtOGOqCH5so79su
zUtKGnluCStZT/UShrwIepDtfwUGv7Lrtp/1Z6jGuN7PkHwZBBbwNNQbjKnC0Y4F
NRJS4LtbXDq63HGOy9+1NAb3p6docmARqi5Hx9bH2A0mu/mO7+T2wKKBgaXe3TbZ
o/MGEkMJPPvPq2OYLCgVvFu1vdEvLCONZy7dGxigF0fmGJvl7aVK4yJ4w+cbs0Z4
iYsKnIB5IQ1NR4I=
=jk2U
-----END PGP SIGNATURE-----