Sun, 16 Jun 2024 13:11:27 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 timeWed, 17 Jul 2019 14:43:02 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMMUSIC-openmpi-devel-1.1.15-5.20190717gita78a8e2.fc33.riscv64.rpm