Information for file /usr/share/doc/ghc/html/libraries/wcwidth-0.0.2/src/Data.Char.WCWidth.html
| Name | /usr/share/doc/ghc/html/libraries/wcwidth-0.0.2/src/Data.Char.WCWidth.html |
|---|---|
| Digest (sha256) | 512e814b084b497871ec65aa273a4e494916ab0289a097c20b8f6d82a682cd5b |
| Size | 19.98 KB |
| Modification time | Sun, 30 Oct 2022 15:07:17 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | ghc-wcwidth-doc-0.0.2-15.fc37.noarch.rpm |
