File list of package libmpfi-dev in sid of architecture riscv64
/usr/lib/riscv64-linux-gnu/libmpfi.a /usr/lib/riscv64-linux-gnu/libmpfi.so /usr/share/doc/libmpfi-dev /usr/lib/riscv64-linux-gnu/libmpfi.a /usr/lib/riscv64-linux-gnu/libmpfi.so /usr/share/doc/libmpfi-dev /usr/share/lintian/overrides/libmpfi-dev