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
