Sat, 28 Sep 2024 06:02:06 UTC | login

Information for file /usr/share/doc/ghc/html/libraries/ghci-8.8.4/doc-index-D.html

Name/usr/share/doc/ghc/html/libraries/ghci-8.8.4/doc-index-D.html
Digest (sha256)a0748f65f230bd81189dad2192b019345feabefa135766f30164c00098809698
Size2.42 KB
Modification timeSat, 05 Dec 2020 18:58:45 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-ghci-doc-8.8.4-107.0.riscv64.fc33.noarch.rpm