Information for file /usr/share/doc/ghc/html/libraries/cmdargs-0.10.20/src/System.Console.CmdArgs.Default.html
Name | /usr/share/doc/ghc/html/libraries/cmdargs-0.10.20/src/System.Console.CmdArgs.Default.html |
---|---|
Digest (sha256) | 92d8cbf10346c6a85222b8060cc46331148df1fac29aac659d80e7be8f33af94 |
Size | 43.27 KB |
Modification time | Thu, 21 Feb 2019 19:22:03 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
documentation |
RPM | ghc-cmdargs-devel-0.10.20-2.fc30.riscv64.rpm |