Information for file /usr/share/doc/ghc/html/libraries/base-unicode-symbols-0.2.4.2/Data-Ord-Unicode.html
| Name | /usr/share/doc/ghc/html/libraries/base-unicode-symbols-0.2.4.2/Data-Ord-Unicode.html |
|---|---|
| Digest (sha256) | 5a9f6998f61d85264e18f0a6ea2d56c36b19799d639cf06a906bf9b30c0b6942 |
| Size | 3.78 KB |
| Modification time | Thu, 27 Oct 2022 17:07:49 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | ghc-base-unicode-symbols-doc-0.2.4.2-8.fc37.noarch.rpm |
