/.
/usr
/usr/lib
/usr/lib/riscv64-linux-gnu
/usr/lib/riscv64-linux-gnu/libgmp.so.10.5.0
/usr/share
/usr/share/doc
/usr/share/doc/libgmp10
/usr/share/doc/libgmp10/README.Debian
/usr/share/doc/libgmp10/changelog.Debian.gz
/usr/share/doc/libgmp10/copyright
/usr/lib/riscv64-linux-gnu/libgmp.so.10
