Information for file /usr/include/valgrind/pub_tool_libcsetjmp.h
| Name | /usr/include/valgrind/pub_tool_libcsetjmp.h |
|---|---|
| Digest (sha256) | 72cd5ed4c5e13f8099e9429d60f2f900b37c9797f485a817f8b503fea0673522 |
| Size | 4954 |
| 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 |
