Information for file /usr/include/ode/timer.h
| Name | /usr/include/ode/timer.h |
|---|---|
| Digest (sha256) | 429e2047be29a9071490d63ecdd4d24d5e4d3bc39691bb7d4550d7342a709c98 |
| Size | 2.86 KB |
| Modification time | Tue, 05 Jun 2018 00:55:09 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | ode-devel-0.14-7.fc29.riscv64.rpm |
