List of files in the package "gmp"
/usr/lib/libgmp.so /usr/lib/libgmp.so.10 /usr/lib/libgmp.so.10.0.1
3 files 152.0K (312.0K installed)
3382 packages and 430813 files in stable database (Mon Mar 4 17:53:49 2019)
/usr/lib/libgmp.so /usr/lib/libgmp.so.10 /usr/lib/libgmp.so.10.0.1
3 files 152.0K (312.0K installed)