Information for file /usr/include/WildMagic/Wm5IntervalManager.h
Name | /usr/include/WildMagic/Wm5IntervalManager.h |
---|---|
Digest (sha256) | 1861f6c8fd171377bc5cba19334f6e4712ee04ad629cafaf767e84aad8b3e91e |
Size | 3.26 KB |
Modification time | Sun, 05 Jan 2014 20:22:38 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | wildmagic5-devel-5.17-8.fc31.riscv64.rpm |