Sun, 22 Sep 2024 07:24:21 UTC | login

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

Name/usr/include/openmpi-riscv64/music/configuration.hh
Digest (sha256)76189060f8103d8409e016718498853cf80899edac218c6cc403897f75bd64f2
Size2.18 KB
Modification timeFri, 04 Dec 2020 17:59:37 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMMUSIC-openmpi-devel-1.1.16-9.20201002git8c6b77a.fc37.riscv64.rpm