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