Package libgmpxx-devel: Files
Permissions | Path | Size | Date |
|---|---|---|---|
| -rw-r--r-- | /usr/include/gmpxx.h | 126.1 KB | Nov 10, 2022, 05:19 PM |
| lrwxrwxrwx | /usr/lib64/libgmpxx.so —> libgmpxx.so.4.6.1 | 17.0 B | Nov 10, 2022, 05:19 PM |
| -rw-r--r-- | /usr/lib64/pkgconfig/gmpxx.pc | 235.0 B | Nov 10, 2022, 05:19 PM |