Sat, 14 Dec 2024 12:18:57 UTC | login

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

Name/usr/include/openmpi-riscv64/music/event_routing_map.hh
Digest (sha256)bdc3630b5100497b03e582bc2e1ab1d47ff25d26943cd247656ca129b39c725c
Size3.98 KB
Modification timeFri, 04 Dec 2020 17:59:37 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMMUSIC-openmpi-devel-1.1.16-13.20201002git8c6b77a.fc40.riscv64.rpm