Package libxmi-devel: Files
Permissions | Path | Size | Date |
---|---|---|---|
-rw-r--r-- | /usr/include/xmi.h | 19.3 KB | Oct 14, 2018, 10:21 PM |
lrwxrwxrwx | /usr/lib64/libxmi.so —> libxmi.so.0.1.3 | 15.0 B | Oct 14, 2018, 10:21 PM |
-rw-r--r-- | /usr/share/info/libxmi.info.xz | 9.2 KB | Oct 14, 2018, 10:21 PM |