Thu, 14 Nov 2024 11:46:38 CST | login

Information for file /usr/share/doc/ghc/html/libraries/ghci-8.10.7/doc-index.json

Name/usr/share/doc/ghc/html/libraries/ghci-8.10.7/doc-index.json
Digest (sha256)c11d0111f24e5695135ab2bbab88776b3822f6618c9708ad34cfe4b78b346850
Size65.05 KB
Modification timeSun, 08 Oct 2023 03:11:27 CST
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-ghci-doc-8.10.7-116.el9.noarch.rpm