Sat, 30 Nov 2024 23:53:18 UTC | login

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, 26 May 2018 02:21:07 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMR-highlight-0.4.7.2-1.fc29.riscv64.rpm