Thu, 12 Dec 2024 17:45:45 UTC | login

Information for file /etc/openmpi-riscv64/openmpi-default-hostfile

Name/etc/openmpi-riscv64/openmpi-default-hostfile
Digest (sha256)2494413074f3a62fe6b4770bf7a06c4767df150bfd20ad8574b35852e06dc16a
Size1.62 KB
Modification timeTue, 26 Mar 2019 18:10:51 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags configuration
don't replace
RPMopenmpi-4.0.1-8.0.riscv64.fc31.riscv64.rpm