Sun, 01 Dec 2024 03:51:47 UTC | login

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

Name/usr/share/doc/ghc/html/libraries/case-insensitive-1.2.1.0/src/Data.CaseInsensitive.Unsafe.html
Digest (sha256)9141d1e7d91ab79c02e76ee1173e510124798ce2d54241bc11f23d40407de9a1
Size2.63 KB
Modification timeSat, 29 Jul 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-case-insensitive-doc-1.2.1.0-14.fc40.noarch.rpm