File list of package librust-proptest+default-dev in sid of architecture armhf

/usr/share/doc/librust-proptest+default-dev
/usr/share/lintian/overrides/librust-proptest+default-dev