Wed, 08 Jan 2025 00:30:08 UTC | login

Information for file /usr/share/doc/ghc9.8/html/libraries/ghci-9.8.4/ghci.txt

Name/usr/share/doc/ghc9.8/html/libraries/ghci-9.8.4/ghci.txt
Digest (sha256)a7b38c95baadf25329b912ac849ff8247cceffc738ff1cdd5cd1308a0b467327
Size26.89 KB
Modification timeMon, 02 Dec 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc9.8-ghci-doc-9.8.4-12.fc42.noarch.rpm