File list of package libgmp3-dev in sid of architecture armhf

/usr/share/doc/libgmp3-dev/changelog.Debian.armhf.gz
/usr/share/doc/libgmp3-dev/changelog.Debian.gz
/usr/share/doc/libgmp3-dev/changelog.gz
/usr/share/doc/libgmp3-dev/copyright