News for package rust-proptest