Information for file /usr/share/doc/ghc/html/libraries/readline-1.0.3.0/src/System.Console.Readline.html
Name | /usr/share/doc/ghc/html/libraries/readline-1.0.3.0/src/System.Console.Readline.html |
---|---|
Digest (sha256) | 5d1a53c17b893045b15f0c6f719811ffc99b8b62143eac8a7ab4de446f234877 |
Size | 344.63 KB |
Modification time | Fri, 23 Jun 2023 00:00:00 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
documentation |
RPM | ghc-readline-doc-1.0.3.0-43.rvre0.fc38.noarch.rpm |