Thu, 20 Feb 2025 10:33:57 UTC | login

Information for file /usr/lib64/ghc-8.10.7/highlighting-kate-0.6.4/Text/Highlighting/Kate/Syntax/Agda.p_hi

Name/usr/lib64/ghc-8.10.7/highlighting-kate-0.6.4/Text/Highlighting/Kate/Syntax/Agda.p_hi
Digest (sha256)f11660452766e75424bf100a8492e88f6539159287df6147134263fcb29bc675
Size3.74 KB
Modification timeThu, 03 Nov 2022 22:22:50 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMghc-highlighting-kate-prof-0.6.4-22.fc37.riscv64.rpm