| -rw-r--r-- | 776 | root |
root |
/etc/profile.d/mpi-selector.csh
|
| -rw-r--r-- | 747 | root |
root |
/etc/profile.d/mpi-selector.sh
|
| -rwxr-xr-x | 28012 | root |
root |
/usr/bin/mpi-selector
|
| -rwxr-xr-x | 6674 | root |
root |
/usr/bin/mpi-selector-menu
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/mpi-selector-1.0.2
|
| -rw-r--r-- | 1939 | root |
root |
/usr/share/doc/mpi-selector-1.0.2/LICENSE
|
| -rw-r--r-- | 2632 | root |
root |
/usr/share/doc/mpi-selector-1.0.2/README
|
| -rw-r--r-- | 2150 | root |
root |
/usr/share/man/man1/mpi-selector-menu.1.gz
|
| -rw-r--r-- | 6910 | root |
root |
/usr/share/man/man1/mpi-selector.1.gz
|
| drwxr-xr-x | 4096 | root |
root |
/var/lib/mpi-selector
|
