Wed, 11 Dec 2024 21:48:25 UTC | login

Information for file /usr/share/doc/ghc/html/libraries/gi-ggit-1.0.8/GI-Ggit-Objects-CherryPickOptions.html

Name/usr/share/doc/ghc/html/libraries/gi-ggit-1.0.8/GI-Ggit-Objects-CherryPickOptions.html
Digest (sha256)1eb031709155c2ac821980ce03db082d01e9f6f1e7f2cacd8dcd7e052c95c7c4
Size39.60 KB
Modification timeFri, 08 May 2020 03:29:30 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-gi-ggit-doc-1.0.8-1.fc33.noarch.rpm