Sun, 16 Jun 2024 03:08:36 UTC | login

Information for file /usr/share/doc/ghc-wai-extra-devel

Name/usr/share/doc/ghc-wai-extra-devel
Digest (sha256)
Size0.00 B
Modification timeFri, 01 Mar 2019 05:55:31 UTC
Userroot
Grouproot
Modedrwxr-xr-x
Flags
RPMghc-wai-extra-devel-3.0.22.0-2.fc30.riscv64.rpm