Directory listing for /proc/7/task/12273/root/usr/share/doc/libgmp10/

• changelog.Debian.gz
• changelog.gz
• copyright
• README.Debian