Information for file /usr/share/kde4/apps/katepart/syntax/agda.xml
| Name | /usr/share/kde4/apps/katepart/syntax/agda.xml |
|---|---|
| Digest (sha256) | 0ec81743bffb67f2b9bb5c2a66e46ced1df005ba621e7f2178564b6ddc80b854 |
| Size | 5.06 KB |
| Modification time | Sun, 26 Oct 2014 20:17:55 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | kate4-part-4.14.3-22.fc29.riscv64.rpm |
