rust-proptest (1.0.0-1) unstable; urgency=medium

  * Team upload.
  * Package proptest 1.0.0 from crates.io using debcargo 2.5.0
  * Drop dependency related patches, not needed with new upstream version.
  * Disable "x86" and "hardware-rng" features as we do not have the x86 crate
    in Debian.

 -- Peter Michael Green <plugwash@debian.org>  Thu, 23 Jun 2022 14:45:05 +0000

rust-proptest (0.9.6-3) unstable; urgency=medium

  * Team upload.
  * Package proptest 0.9.6 from crates.io using debcargo 2.5.0
  * Apply upstream patch for quick-error 2.

 -- Peter Michael Green <plugwash@debian.org>  Wed, 08 Jun 2022 00:13:51 +0000

rust-proptest (0.9.6-2) unstable; urgency=medium

  * Team upload.
  * Package proptest 0.9.6 from crates.io using debcargo 2.5.0
  * Upload to unstable.

 -- Peter Michael Green <plugwash@debian.org>  Sat, 05 Feb 2022 10:17:32 +0000

rust-proptest (0.9.6-1) experimental; urgency=medium

  * Team upload.
  * Package proptest 0.9.6 from crates.io using debcargo 2.5.0
  * Apply upstream patch for rand 0.8 and update dependencies.
  * Disable tests that fail with rand 0.8.

 -- Peter Michael Green <plugwash@debian.org>  Sun, 23 Jan 2022 17:00:54 +0000

rust-proptest (0.9.4-3) unstable; urgency=medium

  * Source-only re-upload for migration to testing

 -- kpcyrd <git@rxv.cc>  Mon, 28 Oct 2019 12:10:58 +0100

rust-proptest (0.9.4-2) unstable; urgency=medium

  * Package proptest 0.9.4 from crates.io using debcargo 2.4.0

 -- kpcyrd <git@rxv.cc>  Wed, 16 Oct 2019 15:49:32 +0200

rust-proptest (0.9.4-1) unstable; urgency=medium

  * Team upload.
  * Package proptest 0.9.4 from crates.io using debcargo 2.2.10

 -- Nikos Tsipinakis <nikos@tsipinakis.com>  Sun, 11 Aug 2019 12:49:42 +0200

rust-proptest (0.8.7-1) unstable; urgency=medium

  * Package proptest 0.8.7 from crates.io using debcargo 2.2.9

 -- Ximin Luo <infinity0@debian.org>  Tue, 22 Jan 2019 18:53:10 -0800