Information for file /usr/src/debug/GtkAda-2.24.2-58.fc45.riscv64/src/gdk-display_manager.ads
| Name | /usr/src/debug/GtkAda-2.24.2-58.fc45.riscv64/src/gdk-display_manager.ads |
|---|---|
| Digest (sha256) | 9e2750d3f846a600ec4148460a60fb917ca8810990ad1c39fc48a30d1d90db19 |
| Size | 2.46 KB |
| Modification time | Fri, 18 May 2012 08:03:22 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | GtkAda-debugsource-2.24.2-58.fc45.riscv64.rpm |
