Information for file /usr/lib64/ghc-8.4.4/gi-ggit-1.0.2/GI/Ggit/Objects/CherryPickOptions.hi
Name | /usr/lib64/ghc-8.4.4/gi-ggit-1.0.2/GI/Ggit/Objects/CherryPickOptions.hi |
---|---|
Digest (sha256) | f5f9cfcd52095d00e5c363c6bc1b2360fe3abc0b3db5660779659ecd12d9312b |
Size | 9.22 KB |
Modification time | Mon, 04 Mar 2019 01:51:41 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | ghc-gi-ggit-devel-1.0.2-8.fc30.riscv64.rpm |