/
usr
/
share
/
doc
/
libopenmpi-dev
/
/usr/share/doc/libopenmpi-dev
mkdir
upload
Name
Size
Mode
Actions
javadoc-openmpi/
-
0755
rm
changelog.Debian.gz
1163
0644
edit
dl
rm
copyright
8354
0644
edit
dl
rm
NEWS.gz
73907
0644
edit
dl
rm
README.Debian
1102
0644
edit
dl
rm
README.gz
31854
0644
edit
dl
rm
Delete
javadoc-openmpi
?
Yes
rename
chmod
cmd:
run