Mon, 24 Jun 2024 11:48:49 UTC | login

Information for file /usr/share/doc/ghc/html/libraries/darcs-2.14.2/Darcs-UI-Commands-Add.html

Name/usr/share/doc/ghc/html/libraries/darcs-2.14.2/Darcs-UI-Commands-Add.html
Digest (sha256)912ad70d975ca042e1922d8b31381757affc65683e91ea66d45e2e6f1a24b260
Size2.02 KB
Modification timeSun, 10 May 2020 01:56:43 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-darcs-doc-2.14.2-24.fc33.noarch.rpm