Information for file /usr/include/valgrind/pub_tool_options.h
| Name | /usr/include/valgrind/pub_tool_options.h |
|---|---|
| Digest (sha256) | 70db17897aad2b3b758b95056378bbef5c2c33d6a84a0a2dcf3d5cb486e8696b |
| Size | 9248 |
| Modification time | Fri, 20 Nov 2015 13:59:36 CET |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | valgrind-devel-1:3.10.0-16.el7.x86_64.rpm |
