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-32.fc38.riscv64.rpm |