Tue, 03 Dec 2024 20:51:34 UTC | login

Information for file /usr/share/doc/ghc/html/libraries/ghcid-0.8.9/ghcid.txt

Name/usr/share/doc/ghc/html/libraries/ghcid-0.8.9/ghcid.txt
Digest (sha256)94d7dad8f4c14361e5540f076e5b239bfac0329e015bf12f21625a209aa3e112
Size4.64 KB
Modification timeMon, 05 Aug 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-ghcid-doc-0.8.9-7.fc41.noarch.rpm