Fri, 13 Dec 2024 22:29:04 UTC | login

Information for file /usr/share/doc/ghc/html/libraries/djinn-ghc-0.0.2.3

Name/usr/share/doc/ghc/html/libraries/djinn-ghc-0.0.2.3
Digest (sha256)
Size0.00 B
Modification timeSun, 19 Apr 2020 18:59:48 UTC
Userroot
Grouproot
Modedrwxr-xr-x
Flags
RPMghc-djinn-ghc-doc-0.0.2.3-8.fc33.riscv64.rpm