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.

 -- Peter Michael Green <plugwash@debian.org>  Tue, 23 Dec 2025 11:07:29 +0000

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

  * Team upload.
  * Package proptest 1.6.0 from crates.io using debcargo 2.7.6

 -- Peter Michael Green <plugwash@debian.org>  Thu, 30 Jan 2025 15:22:45 +0000

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

  * Team upload.
  * Package proptest 1.5.0 from crates.io using debcargo 2.6.1
  * Fix an arithmetic overflow on 32-bit.
  * Skip test no_value_between_float_and_next_down on i386, i386 is known to
    have excess precision issues.
  * Skip tests f32_any_generates_desired_values,
    f64_any_generates_desired_values and max_shrink_iters_works_with_forking
    to hopefully establish baseline there (the autopkgtest has never previously
    passed on riscv64, it has always failed or been skipped).

 -- Peter Michael Green <plugwash@debian.org>  Thu, 29 Aug 2024 00:22:44 +0000

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

  * Team upload.
  * Package proptest 1.5.0 from crates.io using debcargo 2.6.1
  * Fix tests writing to current directory
  * Mark tests flaky for +std, flag combination too complex
  * Drop outdated patches
  * Disable feature attr-macro, dep proptest-macro not yet packaged
  * Relax pinned dep on trybuild

 -- Blair Noctis <n@sail.ng>  Sat, 13 Jul 2024 11:19:22 -0400

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

  * Team upload.
  * Package proptest 1.0.0 from crates.io using debcargo 2.6.0
  * When bumping regex-syntax version also bump regex version correspondingly.
  * Bump regex-syntax to 0.8 and regex to 1.10

 -- Peter Michael Green <plugwash@debian.org>  Tue, 24 Oct 2023 20:11:49 +0000

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.

 -- Peter Michael Green <plugwash@debian.org>  Tue, 03 Oct 2023 18:32:52 +0000

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
