Information for file /usr/src/debug/PragmARC-20130728-35.fc42.riscv64/pragmarc-menu_handler.adb
| Name | /usr/src/debug/PragmARC-20130728-35.fc42.riscv64/pragmarc-menu_handler.adb |
|---|---|
| Digest (sha256) | eabd12bc0ce83cca249c96ba82eb1d6a0a2b647b442cc57a9ad691c97bff9747 |
| Size | 5.01 KB |
| Modification time | Thu, 21 Jan 2010 01:21:22 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | PragmARC-debugsource-20130728-35.fc42.riscv64.rpm |
