Sat, 09 Nov 2024 04:20:24 UTC | login

Information for file /usr/include/openmpi-riscv64/music/port.hh

Name/usr/include/openmpi-riscv64/music/port.hh
Digest (sha256)9e4b4cde1eebc175fd465a52220e6c928195264a5a6cae3bed15c35b58280ee5
Size8.29 KB
Modification timeMon, 03 Apr 2023 19:45:59 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMMUSIC-openmpi-devel-1.2.1-6.fc41.riscv64.rpm