Fri, 13 Dec 2024 23:38:15 UTC | login

Information for file /usr/include/openmpi-riscv64/music

Name/usr/include/openmpi-riscv64/music
Digest (sha256)
Size0.00 B
Modification timeThu, 20 Jul 2023 00:00:00 UTC
Userroot
Grouproot
Modedrwxr-xr-x
Flags
RPMMUSIC-openmpi-devel-1.1.16-13.20201002git8c6b77a.fc40.riscv64.rpm