Information for file /usr/share/licenses/MUSIC-openmpi-devel/LICENSE
| Name | /usr/share/licenses/MUSIC-openmpi-devel/LICENSE |
|---|---|
| Digest (sha256) | d62f065830aa3739cc031156b9690805c7b2e811b4a178c8b4acd8725d561c94 |
| Size | 34.32 KB |
| Modification time | Thu, 20 Jul 2023 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
license |
| RPM | MUSIC-openmpi-devel-1.1.16-13.20201002git8c6b77a.fc40.riscv64.rpm |
