Information for file /usr/share/doc/ghc/html/libraries/cmdargs-0.10.20/src/System.Console.CmdArgs.GetOpt.html
Name | /usr/share/doc/ghc/html/libraries/cmdargs-0.10.20/src/System.Console.CmdArgs.GetOpt.html |
---|---|
Digest (sha256) | 5ecbe069174702e42b21f335061c9de80aab0ad7a9bc28fab6721ca70b021cbb |
Size | 29.22 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 |