Information for file /usr/lib64/R/library/highlight/highlight/langDefs/agda.lang

Name/usr/lib64/R/library/highlight/highlight/langDefs/agda.lang
Digest (sha256)bea09a9d7c1bf2a3a071c15eb218b496b5d9e7d28ebbf14c1e1109c38309fca2
Size1.07 KB
Modification timeSat, 21 Sep 2024 06:43:04 CST
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMR-highlight-0.5.1-1.oc9.x86_64.rpm