Mon, 02 Nov 2026 10:18:00 CST | login

Information for file /usr/share/doc/ghc/html/libraries/case-insensitive-1.2.1.0/src/Data.CaseInsensitive.html

Name/usr/share/doc/ghc/html/libraries/case-insensitive-1.2.1.0/src/Data.CaseInsensitive.html
Digest (sha256)435026b726a3928da0e597e99dd85f105af0a6024fad81878205a4d414ecd17c
Size4.89 KB
Modification timeThu, 04 Sep 2025 15:38:47 CST
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-case-insensitive-doc-1.2.1.0-2.oc9.noarch.rpm