Files
-rw-r--r-- | 7299 | root | root | /usr/include/mpfrcx.h |
lrwxrwxrwx | 18 | root | root | /usr/lib/libmpfrcx.so |
-rw-r--r-- | 15732 | root | root | /usr/share/info/mpfrcx.info.xz |
-rw-r--r-- | 7299 | root | root | /usr/include/mpfrcx.h |
lrwxrwxrwx | 18 | root | root | /usr/lib/libmpfrcx.so |
-rw-r--r-- | 15732 | root | root | /usr/share/info/mpfrcx.info.xz |