Fri, 13 Dec 2024 22:35:50 UTC | login

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

Name/usr/include/openmpi-riscv64/music/clock.hh
Digest (sha256)b8d82bdc3bcd92f97d95687c6bf36cf1cb86c6fbfd983465a86dc4d7b35c7f4a
Size2.70 KB
Modification timeWed, 15 Jul 2020 15:47:47 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMMUSIC-openmpi-devel-1.1.16-1.20201002git262f6f5.fc33.riscv64.rpm