There are currently no open bugs.

"rust-proptest" versions published in Ubuntu

Groovy (0.9.4-3build1): universe/misc
Focal (0.9.4-3build1): universe/misc
Eoan (0.8.7-1): universe/misc