Sat, 14 Dec 2024 12:00:08 UTC | login

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

Name/usr/include/openmpi-riscv64/music/music-config.hh
Digest (sha256)893deeaf3205bca87552595c849a140dc4cf3b4a777e48c3ad42932692ee298e
Size1.04 KB
Modification timeThu, 20 Jul 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMMUSIC-openmpi-devel-1.1.16-13.20201002git8c6b77a.fc40.riscv64.rpm