Information for file /usr/share/doc/ghc/html/libraries/wai-extra-3.1.13.0/doc-index-M.html
Name | /usr/share/doc/ghc/html/libraries/wai-extra-3.1.13.0/doc-index-M.html |
---|---|
Digest (sha256) | 8d05bb0d76834c4f9f4ec702a4f2341fc9905313f0b41e46e86bc4d5c1c67d5e |
Size | 5.28 KB |
Modification time | Wed, 24 Jan 2024 00:00:00 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
documentation |
RPM | ghc-wai-extra-doc-3.1.13.0-6.fc40.noarch.rpm |