There are currently no open bugs.

"rust-proptest" versions published in Ubuntu

Noble (1.0.0-3): universe/misc
Mantic (1.0.0-1): universe/misc
Jammy (0.9.6-2): universe/misc
Focal (0.9.4-3build1): universe/misc