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

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

Name/usr/include/openmpi-riscv64/music/music-config.hh
Digest (sha256)2db5fc88397894ca637e91fe68da75052cfcb4221d3a42915a2d4ffea9ec82a1
Size1.04 KB
Modification timeSat, 08 Jun 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMMUSIC-openmpi-devel-1.2.1-6.fc41.riscv64.rpm