Sat, 30 Nov 2024 00:24:30 UTC | login

Information for file /usr/share/doc/ghc/html/libraries/wai-extra-3.1.13.0/Network-Wai-UrlMap.html

Name/usr/share/doc/ghc/html/libraries/wai-extra-3.1.13.0/Network-Wai-UrlMap.html
Digest (sha256)ca362f4c1bb9ae3255010522bbb5120c6385f88faa8038726535f2cb0d2d5411
Size10.71 KB
Modification timeSun, 22 Jan 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-wai-extra-doc-3.1.13.0-2.fc38.noarch.rpm