Sun, 16 Jun 2024 10:24:56 UTC | login

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

Name/usr/include/openmpi-riscv64/music/interval.hh
Digest (sha256)e7e9525abf07713b36d3da28320ba0c8c6317b6e3cbfb8077d57fc0e03106a01
Size1.33 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