Changelog for rust-proptest+default-code-coverage-devel-1.0.0-3.mga9.noarch.rpm :

* Mon May 08 2023 neoclust 1.0.0-3.mga9+ Revision: 1956247- Rebuild with downgraded bigflag
* Fri Mar 25 2022 umeabot 1.0.0-2.mga9+ Revision: 1827208- Mageia 9 Mass Rebuild
* Tue Mar 01 2022 guillomovitch 1.0.0-1.mga9+ Revision: 1786867- imported package rust-proptest
* Thu Feb 24 2022 Guillaume Rousse - 1.0.0-1- Initial package