Mon, 16 Dec 2024 15:48:45 UTC | login

Information for file /usr/share/doc/ghc/html/libraries/http-media-0.8.0.0/Network-HTTP-Media-Charset.html

Name/usr/share/doc/ghc/html/libraries/http-media-0.8.0.0/Network-HTTP-Media-Charset.html
Digest (sha256)fd1e581cf5e85dc53b2728983d0775261280cae69a3e1924764f163cade4051e
Size12.32 KB
Modification timeSat, 24 Jun 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-http-media-doc-0.8.0.0-18.rvre0.fc38.noarch.rpm